%0 Conference Paper %1 conf/esorics/BanatreBM94 %A Banâtre, Jean-Pierre %A Bryce, Ciarán %A Métayer, Daniel Le %B ESORICS %D 1994 %E Gollmann, Dieter %I Springer %K dblp %P 55-73 %T Compile-Time Detection of Information Flow in Sequential Programs. %U http://dblp.uni-trier.de/db/conf/esorics/esorics1994.html#BanatreBM94 %V 875 %@ 3-540-58618-0

@inproceedings{conf/esorics/BanatreBM94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Banâtre, Jean-Pierre and Bryce, Ciarán and Métayer, Daniel Le}, biburl = {https://www.bibsonomy.org/bibtex/263ac3f428b9b20c121c5eceaaa350881/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/1994}, editor = {Gollmann, Dieter}, ee = {https://doi.org/10.1007/3-540-58618-0_56}, interhash = {d733018cccffdecaa29b38082fafe8d6}, intrahash = {63ac3f428b9b20c121c5eceaaa350881}, isbn = {3-540-58618-0}, keywords = {dblp}, pages = {55-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:06:45.000+0200}, title = {Compile-Time Detection of Information Flow in Sequential Programs.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics1994.html#BanatreBM94}, volume = 875, year = 1994 }