Provably Correct Systems
Publisher: Springer
Published: Mar 02, 2017
Format: hardcover
Number of pages: 328
ISBN-13: 9783319486277
Notes: Source title: Provably Correct Systems (NASA Monographs in Systems and Software Engineering)