Lundberg, Didrik http://orcid.org/0000-0001-9921-3257
Guanciale, Roberto http://orcid.org/0000-0002-8069-6495
Lindner, Andreas http://orcid.org/0000-0001-5311-1781
Dam, Mads http://orcid.org/0000-0001-5432-6442
Chapter History
First Online: 8 September 2020
Conference Information
Conference Acronym: SEFM
Conference Name: International Conference on Software Engineering and Formal Methods
Conference City: Amsterdam
Conference Country: The Netherlands
Conference Year: 2020
Conference Start Date: 14 September 2020
Conference End Date: 18 September 2020
Conference Number: 18
Conference ID: sefm2020
Conference URL: https://event.cwi.nl/sefm2020/