ISBN 9783319671123 books & textbook
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Petrucci, Laure Seceleanu, Cristina Cavalcanti, Ana
Springer /2017-08-25 Paperback / 249 Pages
isbn-10: 331967112X / isbn-13: 9783319671123
