Počet záznamů: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.0436568 DE BXXS
Margaria, T. (ed.) - Steffen, B. (ed.)
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
Počet záznamů: 1