Dissertations details

A Type System for Value-Dependent Information Flow Analysis

Mar 2016

Entity: Universidade Nova de Lisboa

Authors: Luísa Lourenço

Supervisors: Luis Caires

Bibtex Key:

ISBN:

Url:

Notes:

DOI:

Publication File: