Your search returned 3 results.

Results
	1.	Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5423 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. by Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Hallerstede, Stefan [editor.] Leuschel, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6286 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	3.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John [editor.] Fitzgerald, John [editor.] Gnesi, Stefania [editor.] Khurshid, Sarfraz [editor.] Leuschel, Michael [editor.] Reeves, Steve [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7316 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Maintained by VTU Library