ConferencePaper SCOPUS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (2019)

Existential types for relaxed noninterference

Cruz R.; Tanter É.

Más información

Título según SCOPUS: Existential types for relaxed noninterference
Título de la Revista: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen: 11893 LNCS
Editorial: Springer
Fecha de publicación: 2019
Página de inicio: 73
Página final: 92
Idioma: English
DOI:

10.1007/978-3-030-34175-6_5
Notas: SCOPUS