Article ISI SCOPUS
ACM Transactions on Programming Languages and Systems  (2018)

Type-driven gradual security with references

Más información

Título según WOS: Type-Driven Gradual Security with References
Título según SCOPUS: Type-driven gradual security with references
Título de la Revista: ACM Transactions on Programming Languages and Systems
Volumen: 40
Número: 4
Editorial: Association for Computing Machinery
Fecha de publicación: 2018
Idioma: English
DOI:

10.1145/3229061
Notas: ISI, SCOPUS