Formal Methods. FM 2019 International WorkshopsEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti · First published 2020Open the Tome
