%0 Conference Paper %1 conf/sp/LandauerC82 %A Landauer, Christopher %A Crocker, Stephen D. %B S&P %D 1982 %I IEEE Computer Society %K dblp %P 74-80 %T Precise Information Flow Analysis by Program Verification. %U http://dblp.uni-trier.de/db/conf/sp/sp1982.html#LandauerC82 %@ 0-8186-0410-7

@inproceedings{conf/sp/LandauerC82, added-at = {2023-09-21T00:00:00.000+0200}, author = {Landauer, Christopher and Crocker, Stephen D.}, biburl = {https://www.bibsonomy.org/bibtex/21bb37830eac85b4a0eac8fe265893071/dblp}, booktitle = {S&P}, crossref = {conf/sp/1982}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1982.10003}, interhash = {b7ddb34abc5950a777df479f561e16ec}, intrahash = {1bb37830eac85b4a0eac8fe265893071}, isbn = {0-8186-0410-7}, keywords = {dblp}, pages = {74-80}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:45.000+0200}, title = {Precise Information Flow Analysis by Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1982.html#LandauerC82}, year = 1982 }