Number of the records: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.
SYSNO ASEP 0436568 R&D Document Type The record was not marked in the RIV Title Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I Author(s) Margaria, T. (ed.)
Steffen, B. (ed.)Year of issue 2014 ISBN 978-3-662-45233-2 ISSN 0302-9743 Series Lecture Notes in Computer Science Series number 8802 Country DE - Germany
Number of the records: 1