Number of the records: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.
SYSNO 0436568 Title Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I Author(s) Margaria, T. (ed.)
Steffen, B. (ed.)Issue data Berlin: Springer, 2014 Edition Lecture Notes in Computer Science , 8802 ISBN 978-3-662-45233-2 ISSN 0302-9743 Document Type BXXS Country DE Catal.org. CAV References (1) - Konferenční příspěvek (zahraniční konference)
Number of the records: 1