BibTeX record conf/tgc/HahnlePRW06

download as .bib file

@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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4661},
  pages     = {116--131},
  publisher = {Springer},
  year      = {2006}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics