Trucco, F. C., & Fervari, R. A. (2020). Verificación de lógicas modales dinámicas en Coq.
Cita Chicago Style (17a ed.)Trucco, Francisco Carlos, y Raúl Alberto Fervari. Verificación De Lógicas Modales Dinámicas En Coq. 2020.
Cita MLA (8a ed.)Trucco, Francisco Carlos, y Raúl Alberto Fervari. Verificación De Lógicas Modales Dinámicas En Coq. 2020.
Precaución: Estas citas no son 100% exactas.