Home > FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Book Informaton
Author
Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)
Series
Lecture Notes in Computer Science 5850: Programming and Software Engineering
Year of Publication
2009
Publisher
Springer-Verlag Berlin Heidelberg
Language
en
ISBN
3642050883, 9783642050886
ARI Id
1672340813224
This page has been accessed 4 times.
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |