BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Secure information flow and program logics.

CSF, : 233-248, 2007.
Authors: Lennart Beringer and Martin Hofmann
URL: http://dblp.uni-trier.de/db/conf/csfw/csf2007.html#BeringerH07
Description: dblp
Tags: dblp
| URL | BibTeX  
@inproceedings{conf/csfw/BeringerH07,
title = {Secure information flow and program logics.},
author = {Lennart Beringer and Martin Hofmann},
booktitle = {CSF},
crossref = {conf/csfw/2007},
pages = {233-248},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/csfw/csf2007.html#BeringerH07},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1109/CSF.2007.30}, date = {2008-04-25},
keywords = {dblp }
}