DBLP Record 'conf/pldi/UnnoKY06'

BibTeX

@inproceedings{DBLP:conf/pldi/UnnoKY06,
  author    = {Hiroshi Unno and
               Naoki Kobayashi and
               Akinori Yonezawa},
  title     = {Combining type-based analysis and model checking for finding
               counterexamples against non-interference},
  booktitle = {PLAS},
  year      = {2006},
  pages     = {17-26},
  ee        = {http://doi.acm.org/10.1145/1134744.1134750},
  crossref  = {DBLP:conf/pldi/2006plas},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2006plas,
  editor    = {Vugranam C. Sreedhar and
               Steve Zdancewic},
  title     = {Proceedings of the 2006 Workshop on Programming Languages
               and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada,
               June 10, 2006},
  booktitle = {PLAS},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-374-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}