Díaz, J. R. (2001). Verificación formal y refinamientos en P/PML. Web
Citación estilo ChicagoDíaz, Javier Roberto. Verificación Formal Y Refinamientos En P/PML. 2001.
Cita MLADíaz, Javier Roberto. Verificación Formal Y Refinamientos En P/PML. 2001.
Precaución: Estas citas no son 100% exactas.