Originalsprache | englisch |
---|---|
Titel | fmcad.18 |
Untertitel | Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) |
Redakteure/-innen | Nikolaj Bjørner , Arie Gurfinkel |
Seiten | 40-49 |
ISBN (elektronisch) | 978-0-9835678-8-2 |
Publikationsstatus | Veröffentlicht - 2018 |
Veranstaltung | 18th Conference on Formal Methods in Computer-Aided Design - Austin, USA / Vereinigte Staaten Dauer: 30 Okt. 2018 → 2 Nov. 2018 Konferenznummer: 18 |
Konferenz
Konferenz | 18th Conference on Formal Methods in Computer-Aided Design |
---|---|
Kurztitel | FMCAD 2018 |
Land/Gebiet | USA / Vereinigte Staaten |
Ort | Austin |
Zeitraum | 30/10/18 → 2/11/18 |