Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
Full Title: | Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science) |
---|---|
ISBN: | 3030549968 |
ISBN13: | 9783030549961 |
Authors: |
Emil Sekerinski Nelma Moreira José N. Oliveira Daniel Ratiu Riccardo Guidotti |
Related ISBNs