%0 Conference Paper %1 conf/csfw/Rajani018 %A Rajani, Vineet %A Garg, Deepak %B CSF %D 2018 %I IEEE Computer Society %K dblp %P 233-246 %T Types for Information Flow Control: Labeling Granularity and Semantic Models. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#Rajani018 %@ 978-1-5386-6680-7

@inproceedings{conf/csfw/Rajani018, added-at = {2018-08-23T00:00:00.000+0200}, author = {Rajani, Vineet and Garg, Deepak}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23fb7f480ee599b542d46ecefb39d1df3/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2018}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2018.00024}, interhash = {a7cb8f0f4bec1d70c643b40100520651}, intrahash = {3fb7f480ee599b542d46ecefb39d1df3}, isbn = {978-1-5386-6680-7}, keywords = {dblp}, pages = {233-246}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T13:49:17.000+0200}, title = {Types for Information Flow Control: Labeling Granularity and Semantic Models.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#Rajani018}, year = 2018 }