DBLP Record 'conf/bcs/JurjensYB08'

BibTeX

@inproceedings{DBLP:conf/bcs/JurjensYB08,
  author    = {Jan J{\"u}rjens and
               Yijun Yu and
               Andreas Bauer 0002},
  title     = {Tools for Traceable Security Verification},
  booktitle = {BCS Int. Acad. Conf.},
  year      = {2008},
  pages     = {367-390},
  ee        = {http://www.bcs.org/server.php?show=ConWebDoc.22980},
  crossref  = {DBLP:conf/bcs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bcs/2008,
  editor    = {Erol Gelenbe and
               Samson Abramsky and
               Vladimiro Sassone},
  title     = {Visions of Computer Science - BCS International Academic
               Conference, Imperial College, London, UK, 22-24 September
               2008},
  booktitle = {BCS Int. Acad. Conf.},
  publisher = {British Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}