APA-Zitierstil (7. Ausg.)

Slagel, J. T., Moscato, M., White, L., Muñoz, C. A., Balachandran, S., & Dutle, A. (2024). Embedding Differential Dynamic Logic in PVS.

Chicago-Zitierstil (17. Ausg.)

Slagel, J. Tanner, Mariano Moscato, Lauren White, César A. Muñoz, Swee Balachandran, und Aaron Dutle. Embedding Differential Dynamic Logic in PVS. 2024.

MLA-Zitierstil (9. Ausg.)

Slagel, J. Tanner, et al. Embedding Differential Dynamic Logic in PVS. 2024.