Formal Methods. FM 2019 International Workshops

Sprache(n): Englisch

ISBN: 978-3-030-54996-1 / 978-3030549961 / 9783030549961

Verlag: Springer International Publishing

Erscheinungsdatum: 11.08.2020

Seiten: 575

Auflage: 1

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