Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops - Springer Springer 2020
9783030549947
EBOOK
Formal Methods. FM 2019 International Workshops - Springer Springer 2020
9783030549947
EBOOK
