FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

Bibliographic Information

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

Ana Cavalcanti, Dennis Dams (eds.)

(Lecture notes in computer science, 5850)

Springer, c2009

Search this Book/Journal
Note

Includes bibliographical references and index

Related Books: 1-1 of 1
Details
Page Top