Nathan Fulton, André Platzer. A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 110-121, ACM, 2016. [doi]
@inproceedings{FultonP16,
title = {A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics},
author = {Nathan Fulton and André Platzer},
year = {2016},
doi = {10.1145/2854065.2854078},
url = {http://doi.acm.org/10.1145/2854065.2854078},
researchr = {https://researchr.org/publication/FultonP16},
cites = {0},
citedby = {0},
pages = {110-121},
booktitle = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
editor = {Jeremy Avigad and Adam Chlipala},
publisher = {ACM},
isbn = {978-1-4503-4127-1},
}