Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N ; Ratiu, Daniel ; Guidotti, Riccardo ; Farrell, Marie ; Luckcuck, Matt ; Marmsoler, Diego ; Campos, José ; Astarte, Troy Oliveira, José N. ; Dongol, Brijesh ; Marmsoler, Diego ; Couto, Luis ; Luckcuck, Matt ; Cerone, Antonio ; Monteiro, Pedro ; Sekerinski, Emil ; Astarte, Troy ; Campos, José ; Kutrib, Martin ; Ratiu, Daniel ; Gonnord, Laure ; Delmas, David ; Farrell, Marie ; Moreira, Nelma ; Guidotti, Riccardo

Cham: Springer International Publishing AG 2020

Sem texto completo