ISBN 3030638812 books & textbook
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Programming and Software Engineering)
Carvalho, Gustavo Stolz, Volker
Springer /2020-11-20 Paperback / 240 Pages
isbn-10: 3030638812 / isbn-13: 9783030638818
