ABOUT US
RESEARCH
PEOPLE
PUBLICATIONS
ARTICLES
BOOKS
BOOK CHAPTERS
DISSERTATIONS
EDITORIALS
IN PROCEEDINGS
ACTIVITIES
PROJECTS
GRADUATION ACTIVITIES
PROTOTYPES
SEMINARS
DISTINGUISHED LECTURES
EVENT ORGANIZATIONS
EDITORIAL COMMITTEES
SOCIETY
LOGIN
In proceedings details
Dependent Information Flow Types
Jan 2015
Organization:
Publisher:
ACM
Authors:
Luísa Lourenço
,
Luis Caires
Editors:
Series:
Volume:
0
ISSN:
ISBN:
Url:
https://dl.acm.org/citation.cfm?id=2676994
Notes:
Bibtex Key:
DOI:
Pages:
0 to 0
Publication Date:
1 Jan 2015
Publication File:
BACK