Aichernig, Bernhard K.
Tappler, Martin
Wallner, Felix
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/