Book serie: / Книги серии: Lecture Notes in Computer Science 12233 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 12233

book Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

pdf

Author: 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
Language: English
Year: 2020

00

07.02.2024

0

0