Search Results
Search results: 2
-
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020