Formal System Verification: State-of the-Art and Future Trends

More Information

Format: Paperback
Pages: 200
Edition: Softcover reprint of the original 1st ed. 2018
Publisher: Springer
Published: 10 Aug 2018
ISBN 10: 3319862235
ISBN 13: 9783319862231