Your search returned 2 results.

Results
	1.	FM 2009 [electronic resource] : formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / edited by Ana Cavalcanti, Dennis Dams. by International Symposium of Formal Methods Europe (16th : 2009 : Eindhove, The Netherlands) Cavalcanti, Ana Dams, Dennis SpringerLink (Online service) Series: Lecture notes in computer science ; 5850 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Concurrency, compositionality, and correctness [electronic resource] : essays in honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. by Roever, Willem Paul Dams, Dennis Hannemann, Ulrich Steffen, Martin SpringerLink (Online service) Series: Lecture notes in computer science ; 5930 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search