Detail

Publication date: 1 de June, 2021

Universidade Nova de Lisboa – A Type System for Value-Dependent Information Flow Analysis

---