@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",

}