A Metaprogramming Framework for Formal Verification
Ebner, Gabriel; Ullrich, Sebastian
; Roesch, Jared; Avigad, Jeremy; Moura, Leonardo de
; Roesch, Jared; Avigad, Jeremy; Moura, Leonardo de
| 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 |