Login

Publication

Detail

Publication date: 01/03/2016

A Type System for Value-Dependent Information Flow Analysis

Authors

Luísa Lourenço, Luis Caires,
Entity Universidade Nova de Lisboa
Category PhD
Entity Universidade Nova de Lisboa
Category PhD