Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / edited by 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
Mitwirkende(r):- Sekerinski, Emil [HerausgeberIn]
- Moreira, Nelma [HerausgeberIn]
- Oliveira, José N [HerausgeberIn]
- Ratiu, Daniel [HerausgeberIn]
- Guidotti, Riccardo [HerausgeberIn]
- Farrell, Marie [HerausgeberIn]
- Luckcuck, Matt [HerausgeberIn]
- Marmsoler, Diego [HerausgeberIn]
- Campos, José [HerausgeberIn]
- Astarte, Troy [HerausgeberIn]
- Gonnord, Laure [HerausgeberIn]
- Cerone, Antonio [HerausgeberIn]
- Couto, Luis [HerausgeberIn]
- Dongol, Brijesh [HerausgeberIn]
- Kutrib, Martin [HerausgeberIn]
- Monteiro, Pedro [HerausgeberIn]
- Delmas, David [HerausgeberIn]
- 9783030549978
Dieser Titel hat keine Exemplare