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