J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White. Towards an implementation of differential dynamic logic in PVS. In Laure Gonnord, Laura Titolo, editors, SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022. pages 44-50, ACM, 2022. [doi]
@inproceedings{SlagelMBMD0W22,
title = {Towards an implementation of differential dynamic logic in PVS},
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano M. Moscato and Aaron Dutle and Paolo Masci 0001 and Lauren White},
year = {2022},
doi = {10.1145/3520313.3534661},
url = {https://doi.org/10.1145/3520313.3534661},
researchr = {https://researchr.org/publication/SlagelMBMD0W22},
cites = {0},
citedby = {0},
pages = {44-50},
booktitle = {SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
editor = {Laure Gonnord and Laura Titolo},
publisher = {ACM},
isbn = {978-1-4503-9274-7},
}