Crossmark

TOOLympics II: competitions on formal methods

Crossref DOI link: https://doi.org/10.1007/s10009-021-00631-1

Published Online: 2021-06-18

Published Print: 2021-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Huisman, Marieke https://orcid.org/0000-0003-4467-072X
Kordon, Fabrice https://orcid.org/0000-0002-5626-828X
Steffen, Bernhard https://orcid.org/0000-0001-9619-1558
Funding

Funding for this research was provided by:

Ludwig-Maximilians-Universität München
License Information

Text and Data Mining valid from 2021-06-18

Version of Record valid from 2021-06-18
More Information

Article History

Accepted: 20 May 2021

First Online: 18 June 2021