ISBN 9783030549961 books & textbook
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Programming and Software Engineering)
Sekerinski, Emil Moreira, Nelma Oliveira, José N. Ratiu, Daniel Guidotti, Riccardo Farrell, Marie Luckcuck, Matt Marmsoler, Diego Campos, José
Springer /2020-08-11 Paperback / 596 Pages
isbn-10: 3030549968 / isbn-13: 9783030549961
