Acciones

DAO con Coq

Acerca de

De DAO con Coq

Apuntes de DAO (demostración asistida por ordenador) con Coq.

Obtenido de «https://www.glc.us.es/~jalonso/DAOconCoq/index.php?title=DAO_con_Coq:Acerca_de&oldid=13»