Author Search Results

1

Cover Image

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /...

Published 2014

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text

2

Cover Image

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / edited by Marcello M....

Published 2007

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text

3

Cover Image

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Marcello M. Bonsangu...

Published 2008

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text

4

Cover Image

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähn...

Published 2013

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text

5

Cover Image

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio...

Published 2013

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text

6

Cover Image

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures / edited by Frank S. de Boer, Marcell...

Published 2007

Other Authors: '; “...Bonsangue, Marcello M....”
Get full text