@inproceedings{WTSM24-CPP,
author = {White, Lauren and Titolo, Laura and Slagel, J. and Muñoz, César A.},
year = {2024},
month = {January},
address = {London, UK},
pages = {162-176},
title = {A Temporal Differential Dynamic Logic Formal Embedding},
pages = {162--176},
Booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs},
doi = {10.1145/3636501.3636943}
}