Gabriel Ebner, Sebastian Ullrich 0002, Jared Roesch, Jeremy Avigad, Leonardo de Moura
A metaprogramming framework for formal verification
ICFP, 2017.
@article{ICFP-2017-EbnerURAM,
author = "Gabriel Ebner and Sebastian Ullrich 0002 and Jared Roesch and Jeremy Avigad and Leonardo de Moura",
doi = "10.1145/3110278",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{A metaprogramming framework for formal verification}",
volume = 1,
year = 2017,
}