@inproceedings{DBLP:conf/tgc/HahnlePRW06,
author = {Reiner H{\"a}hnle and
Jing Pan and
Philipp R{\"u}mmer and
Dennis Walter},
title = {Integration of a Security Type System into a Program Logic},
booktitle = {TGC},
year = {2006},
pages = {116-131},
ee = {http://dx.doi.org/10.1007/978-3-540-75336-0_8},
crossref = {DBLP:conf/tgc/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tgc/2006,
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {Trustworthy Global Computing, Second Symposium, TGC 2006,
Lucca, Italy, November 7-9, 2006, Revised Selected Papers},
booktitle = {TGC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4661},
year = {2007},
isbn = {978-3-540-75333-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
