ISBN 3319459422 books & textbook
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Lecture Notes in Computer Science, 9933)
ter Beek, Maurice H. Gnesi, Stefania Knapp, Alexander
Springer /2016-09-14 Paperback / 263 Pages
isbn-10: 3319459422 / isbn-13: 9783319459424
