1
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
AUTORES: 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;
FONTE: FM Workshops (1), VOLUME: 12232, PUBLICAÇÃO: 2020
INDEXADO EM: DBLP
2
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
AUTORES: 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;
FONTE: FM Workshops (2), VOLUME: 12233, PUBLICAÇÃO: 2020
INDEXADO EM: DBLP