Ashok, Pranav http://orcid.org/0000-0002-1083-4741
Butkova, Yuliya http://orcid.org/0000-0002-9678-1467
Hermanns, Holger http://orcid.org/0000-0002-2766-9615
Křetínský, Jan http://orcid.org/0000-0002-8122-2881
Conference Information
Conference Acronym: ATVA
Conference Name: International Symposium on Automated Technology for Verification and Analysis
Conference City: Los Angeles, CA
Conference Country: USA
Conference Year: 2018
Conference Start Date: 7 October 2018
Conference End Date: 10 October 2018
Conference Number: 16
Conference ID: atva2018
Conference URL: http://atva-conference.org/