Hartel, Pieter http://orcid.org/0000-0002-0411-0421
Schumi, Richard http://orcid.org/0000-0002-9278-162X
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/