FM 2009 : Formal Methods
by Ana Cavalcanti, Dennis Dams
Published
2009
Publisher
Springer London, Limited
ISBN-13
9783642050893
Frequently Asked Questions
Who is the author of FM 2009 : Formal Methods?
FM 2009 : Formal Methods was written by Ana Cavalcanti, Dennis Dams.
When was FM 2009 : Formal Methods published?
The publication date for this specific edition is 2009. The original work may have been published on a different date.