Certificación formal de programas en un lenguaje funcional impaciente

Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir […]

, , , , ,