ISBN 3030270076 books & textbook
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Programming and Software Engineering)
Larsen, Kim Guldstrand Willemse, Tim
Springer /2019-07-25 Paperback / 180 Pages
isbn-10: 3030270076 / isbn-13: 9783030270070
