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

Drechsler

von Rolf Drechsler

Gebunden

ISBN: 978-3-319-57683-1

ISBN-10: 3-319-57683-6

Springer · 2017

S. auch:
2018TaschenbuchFormal System Verification: State-of the-Art and Future Trends