Kolárik, Tomáš
Ratschan, Stefan http://orcid.org/0000-0003-1710-1513
Chapter History
First Online: 20 June 2020
Conference Information
Conference Acronym: TAP
Conference Name: International Conference on Tests and Proofs
Conference City: Bergen
Conference Country: Norway
Conference Year: 2020
Conference Start Date: 23 June 2020
Conference End Date: 26 June 2020
Conference Number: 14
Conference ID: tap2020
Conference URL: https://tap.sosy-lab.org/2020/