000			00987nam a2200133Ia 4500
008			2212144s2020 xx 000 0 und d
020			_a9783030549947
041			_aeng
100			_aEmil 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.
245			_aFormal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
260			_aCham _bSpringer _c2020
650			_aSoftware 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.
856			_uhttps://doi.org/10.1007/978-3-030-54994-7
999			_c86599 _d86599