ISBN 9783030921361 books & textbook

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

Campos, Sérgio Minea, Marius

Springer /2021-11-26 Paperback / 152 Pages
isbn-10: 3030921360 / isbn-13: 9783030921361