@INPROCEEDINGS{DBLP:conf/cpp/BohrerRVVP17,
pdf = {pub/verified-dL.pdf},
slides = {pub/verified-dL-slides.pdf},
study = {https://www.isa-afp.org/entries/Differential_Dynamic_Logic.html},
author = {Brandon Bohrer and
Vincent Rahli and
Ivana Vukotic and
Marcus V{\"o}lp and
Andr{\'e} Platzer},
title = {Formally Verified Differential Dynamic Logic},
pages = {208-221},
year = {2017},
doi = {10.1145/3018610.3018616},
editor = {Yves Bertot and
Viktor Vafeiadis},
booktitle = {Certified Programs and Proofs -
6th ACM SIGPLAN Conference, CPP 2017,
Paris, France, January 16-17, 2017},
publisher = {{ACM}},
isbn = {}
}```