Formal System Verification
Subtitle: State-of the-Art and Future Trends
Publisher: Springer
Published: Aug 10, 2018
Format: paperback
Number of pages: 200
ISBN-13: 9783319862231
Notes: Source title: Formal System Verification: State-of the-Art and Future Trends