HOME | ENGLISH | IMPRESSUM | KIT

Zeitschriftenartikel: A Metaprogramming Framework for Formal Verification

[ebner17meta]Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura, A Metaprogramming Framework for Formal Verification, Proc. ACM Program. Lang., Vol. 1, (ICFP), September 2017.

Download

  [PDF]   [DOI]

BibTeX

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Sebastian Ullrich