@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', 'Vincent Rahli', 'Ivana Vukotic', 'Marcus Völp', 'André Platzer']},
title = {Formally Verified Differential Dynamic Logic},
pages = {208-221},
year = {2017},
doi = {10.1145/3018610.3018616},
editor = {['Yves Bertot', 'Viktor Vafeiadis']},
booktitle = {Certified Programs and Proofs -
6th ACM SIGPLAN Conference, CPP 2017,
Paris, France, January 16-17, 2017},
publisher = {ACM},
isbn = {}
}