Document is current
Any future updates will be listed below
-
Authors
Bures, Miroslav http://orcid.org/0000-0002-2994-7826
Klima, Matej http://orcid.org/0000-0002-9601-8787
Rechtberger, Vaclav http://orcid.org/0000-0002-4127-5372
Bellekens, Xavier http://orcid.org/0000-0003-1849-5788
Tachtatzis, Christos http://orcid.org/0000-0001-9150-6805
Atkinson, Robert http://orcid.org/0000-0002-6206-2229
Ahmed, Bestoun S. http://orcid.org/0000-0001-9051-7609
- License Information
-
More Information
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/
