%0 Journal Article %1 journals/pacmpl/EbnerURAM17 %A Ebner, Gabriel %A Ullrich, Sebastian %A Roesch, Jared %A Avigad, Jeremy %A de Moura, Leonardo %D 2017 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 34:1-34:29 %T A metaprogramming framework for formal verification. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#EbnerURAM17 %V 1

@article{journals/pacmpl/EbnerURAM17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ebner, Gabriel and Ullrich, Sebastian and Roesch, Jared and Avigad, Jeremy and de Moura, Leonardo}, biburl = {https://www.bibsonomy.org/bibtex/255d7a1aa805b6f38fab91284f1db725f/dblp}, ee = {https://doi.org/10.1145/3110278}, interhash = {6c53c67e97d0abbb449d7c6ad40a2f32}, intrahash = {55d7a1aa805b6f38fab91284f1db725f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {34:1-34:29}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {A metaprogramming framework for formal verification.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#EbnerURAM17}, volume = 1, year = 2017 }