Křetínský, Jan http://orcid.org/0000-0002-8122-2881
Meggendorfer, Tobias http://orcid.org/0000-0002-1712-2165
Sickert, Salomon http://orcid.org/0000-0002-0280-8981
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/