Login

Publication

Detail

Publication date: 01/01/2015

Dependent Information Flow Types

Authors

Luísa Lourenço, Luis Caires,
URL https://dl.acm.org/citation.cfm?id=2676994
Publisher ACM
URL https://dl.acm.org/citation.cfm?id=2676994
Publisher ACM