%0 Journal Article %1 journals/corr/abs-2404-03614 %A Parthasarathy, Gaurav %A Dardinier, Thibault %A Bonneau, Benjamin %A Müller, Peter %A Summers, Alexander J. %D 2024 %J CoRR %K dblp %T Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-03614 %V abs/2404.03614

@article{journals/corr/abs-2404-03614, added-at = {2024-05-13T00:00:00.000+0200}, author = {Parthasarathy, Gaurav and Dardinier, Thibault and Bonneau, Benjamin and Müller, Peter and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/213c152b344bb24516cb1691805c4bcb4/dblp}, ee = {https://doi.org/10.48550/arXiv.2404.03614}, interhash = {87b2eb2b20f6f9e282eb2da69966c192}, intrahash = {13c152b344bb24516cb1691805c4bcb4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-20T07:10:21.000+0200}, title = {Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-03614}, volume = {abs/2404.03614}, year = 2024 }