ISBN 9783030582975 books & textbook
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering)
ter Beek, Maurice H. Ničković, Dejan
Springer /2020-08-29 Paperback / 316 Pages
isbn-10: 3030582973 / isbn-13: 9783030582975
