KIT | KIT-Bibliothek | Impressum | Datenschutz

A Metaprogramming Framework for Formal Verification

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

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1145/3110278
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
Band 1
Seiten Article No.: 34
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page