Original language | English |
---|---|
Title of host publication | fmcad.18 |
Subtitle of host publication | Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) |
Editors | Nikolaj Bjørner , Arie Gurfinkel |
Pages | 40-49 |
ISBN (Electronic) | 978-0-9835678-8-2 |
Publication status | Published - 2018 |
Event | 18th Conference on Formal Methods in Computer-Aided Design - Austin, United States Duration: 30 Oct 2018 → 2 Nov 2018 Conference number: 18 |
Conference
Conference | 18th Conference on Formal Methods in Computer-Aided Design |
---|---|
Abbreviated title | FMCAD 2018 |
Country/Territory | United States |
City | Austin |
Period | 30/10/18 → 2/11/18 |