ISBN 9783031077265 books & textbook
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)
ter Beek, Maurice H. Monahan, Rosemary
Springer /2022-06-01 Paperback / 392 Pages
isbn-10: 3031077261 / isbn-13: 9783031077265
