Gradual Certified Programming in Coq

Tanter, Eric; Tabareau, Nicolas

Más información

Título de la Revista: ACM SIGPLAN NOTICES
Editorial: ASSOC COMPUTING MACHINERY
Fecha de publicación: 2016
Página de inicio: 26
Página final: 40