%0 Conference Paper %1 conf/iciss/Rajamani10 %A Rajamani, Sriram K. %B ICISS %D 2010 %E Jha, Somesh %E Mathuria, Anish %I Springer %K dblp %P 1-2 %T Analyzing Explicit Information Flow. %U http://dblp.uni-trier.de/db/conf/iciss/iciss2010.html#Rajamani10 %V 6503 %@ 978-3-642-17713-2

@inproceedings{conf/iciss/Rajamani10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/24d32e013c3de99480650d7fb3ae787ac/dblp}, booktitle = {ICISS}, crossref = {conf/iciss/2010}, editor = {Jha, Somesh and Mathuria, Anish}, ee = {https://doi.org/10.1007/978-3-642-17714-9_1}, interhash = {f2ff3abea74ad842e9cf5c54ed64e2b2}, intrahash = {4d32e013c3de99480650d7fb3ae787ac}, isbn = {978-3-642-17713-2}, keywords = {dblp}, pages = {1-2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:42:46.000+0200}, title = {Analyzing Explicit Information Flow.}, url = {http://dblp.uni-trier.de/db/conf/iciss/iciss2010.html#Rajamani10}, volume = 6503, year = 2010 }