Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
| Date first appeared online | 01/01/2020 |
| DOI | 10.1007/978-3-030-54997-8 |
| Authors | Astarte T. |
| Journal Name | Lecture Notes in Computer Science |
| Volume | 12233 |