Event details

  • PhD THESIS
  • Mar 2016

  • Luísa Lourenço

    Title: A Type System for Value-Dependent Information Flow Analysis

    Date: 3 March 2016, 10h00 | Sala de Atos - FCT - UNL campus (Ed. IV)