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	Proceedings of The 13th Nordic Workshop on Programming Theory, Informatics and Mathematical Modelling
Publisher	Informatics and Mathematical Modelling, Technical University of Denmark
Publication date	2001
Publication status	Published - 2001
Event	13th Nordic Workshop on Programming Theory - Technical University of Denmark, Kgs. Lyngby, Denmark Duration: 10 Oct 2001 → 12 Oct 2001 Conference number: 13

Conference	13th Nordic Workshop on Programming Theory
Number	13
Location	Technical University of Denmark
Country/Territory	Denmark
City	Kgs. Lyngby
Period	10/10/2001 → 12/10/2001

OpenUrl availability

@inproceedings{5a0722449f10447e9d2279c253315f33,

title = "Flow Logics for Carmel",

keywords = "static analysis java card flow logic",

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

year = "2001",

language = "English",

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

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

note = "13th Nordic Workshop on Programming Theory, NWPT'01 ; Conference date: 10-10-2001 Through 12-10-2001",

}

TY - GEN

T1 - Flow Logics for Carmel

AU - Hansen, René Rydhof

N1 - Conference code: 13

PY - 2001

Y1 - 2001

KW - static analysis java card flow logic

M3 - Article in proceedings

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

PB - Informatics and Mathematical Modelling, Technical University of Denmark

T2 - 13th Nordic Workshop on Programming Theory

Y2 - 10 October 2001 through 12 October 2001

ER -