TY  - BOOK
AU  - 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.
TI  - Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
SN  - 9783030549947
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Software engineering. Special purpose computers. Computers. Architecture, Computer. Artificial intelligence. Application software. Software Engineering. Special Purpose and Application-Based Systems. Theory of Computation. Computer System Implementation. Artificial Intelligence. Computer Applications
UR  - https://doi.org/10.1007/978-3-030-54994-7
ER  -