FM 2012 : Formal Methods
Subtitle: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2012
Language: eng
ISBN-13: 9783642327582
Subjects: Computer software, development; System design