Critical Systems
Subtitle: Formal Methods and Automated Verification
Publisher: Springer
Published: Aug 25, 2017
Format: paperback
Number of pages: 249
ISBN-13: 9783319671123
Notes: Source title: Critical Systems: Formal Methods and Automated Verification (Lecture Notes in Computer Science (10471))