Schordan, Markus http://orcid.org/0000-0002-9571-5994
Beyer, Dirk http://orcid.org/0000-0003-4832-7662
Bojanova, Irena http://orcid.org/0000-0002-3198-7026
Chapter History
First Online: 5 August 2021
Disclaimer
: Certain trade names and company products are mentioned in the text or identified. In no case does such identification imply recommendation or endorsement by the National Institute of Standards and Technology (NIST), nor that they are necessarily the best available for the purpose.
Conference Information
Conference Acronym: ISoLA
Conference Name: International Symposium on Leveraging Applications of Formal Methods
Conference City: Rhodes
Conference Country: Greece
Conference Year: 2020
Conference Start Date: 20 October 2020
Conference End Date: 30 October 2020
Conference Number: 9
Conference ID: isola2020
Conference URL: http://isola-conference.org/isola2020/