ConferencePaper ISI SCOPUS
 (2018)

A trustworthy mechanized formalization of R

Bodin M.; Diaz T.; Tanter É.

Más información

Título según WOS: A Trustworthy Mechanized Formalization of R
Título según SCOPUS: A trustworthy mechanized formalization of R
Fecha de publicación: 2018
Página de inicio: 13
Página final: 24
Idioma: English
DOI:

10.1145/3276945.3276946
Notas: ISI, SCOPUS