KIT | KIT-Bibliothek | Impressum | Datenschutz

A Metaprogramming Framework for Formal Verification

Ebner, Gabriel; Ullrich, Sebastian; Roesch, Jared; Avigad, Jeremy; Moura, Leonardo de


Download
Originalveröffentlichung
DOI: 10.1145/3110278
Dimensions
Zitationen: 43
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2017
Sprache Englisch
Identifikator ISSN: 2475-1421
KITopen-ID: 1000120848
Erschienen in Proceedings of the ACM on programming languages
Verlag Association for Computing Machinery (ACM)
Band 1
Seiten Article No.: 34
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page