Gómez, P. N. (2021). Verificación de correctitud para tipos de datos replicados en Coq. Web
Citación estilo ChicagoGómez, Pablo Nicolás. Verificación De Correctitud Para Tipos De Datos Replicados En Coq. 2021.
Cita MLAGómez, Pablo Nicolás. Verificación De Correctitud Para Tipos De Datos Replicados En Coq. 2021.
Precaución: Estas citas no son 100% exactas.