Gradual Reasoning About Programs: Typing, Analysis, and Verification

TANTER, ÉRIC

Más información

Fecha de publicación: 2019
Instrumento: FONDECYT
Año de Inicio/Término: 2019-2022
Financiamiento/Sponsor: CONICYT
Rol del Usuario: INVESTIGADOR(A) RESPONSABLE
DOI:

1190058