ISBN 9783030852474 books & textbook
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Programming and Software Engineering)
Lluch Lafuente, Alberto Mavridou, Anastasia
Springer /2021-08-10 Paperback / 264 Pages
isbn-10: 3030852474 / isbn-13: 9783030852474
