Cita APA

Díaz, J. R. (2001). Verificación formal y refinamientos en P/PML. Web

Citación estilo Chicago

Díaz, Javier Roberto. Verificación Formal Y Refinamientos En P/PML. 2001.

Cita MLA

Díaz, Javier Roberto. Verificación Formal Y Refinamientos En P/PML. 2001.

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