{"inproceedings":{"@attributes":{"key":"conf\/cpp\/FultonP16","mdate":"2025-01-19"},"author":["Nathan Fulton","Andr\u00e9 Platzer"],"title":"A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics.","pages":"110-121","year":"2016","booktitle":"CPP","ee":["https:\/\/doi.org\/10.1145\/2854065.2854078","https:\/\/www.wikidata.org\/entity\/Q130850221"],"crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#FultonP16"}}