ISBN 3031150074 books & textbook
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science)
Groote, Jan Friso Huisman, Marieke
Springer /2022-08-12 Paperback / 256 Pages
isbn-10: 3031150074 / isbn-13: 9783031150074
