ISBN 9783030634605 books & textbook
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering)
Dongol, Brijesh Troubitsyna, Elena
Springer /2020-11-14 Paperback / 476 Pages
isbn-10: 3030634604 / isbn-13: 9783030634605
