Number of the records: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.0436568 DE BXXS
Margaria, T. (Editor) - Steffen, B. (Editor)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I.
Berlin: Springer, 2014. Lecture Notes in Computer Science, 8802. ISBN 978-3-662-45233-2. ISSN 0302-9743
Number of the records: 1