Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2) | 2020 | proceedings
Publication
Year of publication: 2020
Volume : 12233
Pages :
Month :
CMUP publication : Yes
Authors
