Flow Logics for Carmel

René Rydhof Hansen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	The 13th Nordic Workshop on Programming Theory, Informatics and Mathematical Modelling, Technical University of Denmark
Publisher	Informatics and Mathematical Modelling, Technical University of Denmark
Publication date	2001
Publication status	Published - 2001
Event	The 13th Nordic Workshop on Programming Theory - Duration: 1 Jan 2001 → …

Conference	The 13th Nordic Workshop on Programming Theory
Period	01/01/2001 → …

Access to Document

@inproceedings{5a0722449f10447e9d2279c253315f33,

title = "Flow Logics for Carmel",

keywords = "static analysis java card flow logic",

author = "Hansen, {Ren{\'e} Rydhof}",

year = "2001",

language = "English",

booktitle = "The 13th Nordic Workshop on Programming Theory, Informatics and Mathematical Modelling, Technical University of Denmark",

publisher = "Informatics and Mathematical Modelling, Technical University of Denmark",

note = "The 13th Nordic Workshop on Programming Theory ; Conference date: 01-01-2001",

}

TY - GEN

T1 - Flow Logics for Carmel

AU - Hansen, René Rydhof

PY - 2001

Y1 - 2001

KW - static analysis java card flow logic

M3 - Article in proceedings

BT - The 13th Nordic Workshop on Programming Theory, Informatics and Mathematical Modelling, Technical University of Denmark

PB - Informatics and Mathematical Modelling, Technical University of Denmark

T2 - The 13th Nordic Workshop on Programming Theory

Y2 - 1 January 2001

ER -