ConferencePaper SCOPUS
ACM International Conference Proceeding Series  (2015)

Gradual certified programming in Coq

Tanter É.; Tabareau, N

Más información

Título según SCOPUS: Gradual certified programming in Coq
Título de la Revista: ACM International Conference Proceeding Series
Editorial: Association for Computing Machinery
Fecha de publicación: 2015
Página de inicio: 26
Página final: 40
Idioma: English
DOI:

10.1145/2816707.2816710
Notas: SCOPUS