Formal Methods. FM 2019 International Workshops Dublin Core Títol Formal Methods. FM 2019 International Workshops Autor 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 Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2020 Identificador 9783030549947 Font https://doi.org/10.1007/978-3-030-54994-7 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →