Cita APA

Trucco, F. C. (2019). Verificación de lógicas modales dinámicas en Coq. Web

Citación estilo Chicago

Trucco, Francisco Carlos. Verificación De Lógicas Modales Dinámicas En Coq. 2019.

Cita MLA

Trucco, Francisco Carlos. Verificación De Lógicas Modales Dinámicas En Coq. 2019.

Precaución: Estas citas no son 100% exactas.