Number of the records: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.Margaria, T., Steffen, B., eds. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I. Berlin: Springer, 2014. ISBN 978-3-662-45233-2. ISSN 0302-9743.
Number of the records: 1