Provably Correct Systems
Publisher: Springer
Published: May 03, 2018
Format: paperback
Number of pages: 328
ISBN-13: 9783319839806
Notes: Source title: Provably Correct Systems (NASA Monographs in Systems and Software Engineering)