TY  - RPRT
TI  - Embedding Differential Dynamic Logic in PVS
AU  - J. Tanner Slagel
AU  - Mariano Moscato
AU  - Lauren White
AU  - César A. Muñoz
AU  - Swee Balachandran
AU  - Aaron Dutle
PY  - 2024
DO  - 10.4204/eptcs.402.7
UR  - https://arxiv.org/abs/2404.15214
ID  - 2404.15214
ER  -