Pereira, João Carlos http://orcid.org/0000-0003-4671-4132
Machado, Nuno http://orcid.org/0000-0003-1531-1875
Sousa Pinto, Jorge http://orcid.org/0000-0002-0892-3577
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/