%0 Conference Paper %1 conf/sp/Millen81 %A Millen, Jonathan K. %B S&P %D 1981 %I IEEE Computer Society %K dblp %P 3-8 %T Information Flow Analysis of Formal Specifications. %U http://dblp.uni-trier.de/db/conf/sp/sp1981.html#Millen81 %@ 0-8186-0345-3

@inproceedings{conf/sp/Millen81, added-at = {2023-09-21T00:00:00.000+0200}, author = {Millen, Jonathan K.}, biburl = {https://www.bibsonomy.org/bibtex/23a76cfda57234ba1208b574ac2f0103e/dblp}, booktitle = {S&P}, crossref = {conf/sp/1981}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1981.10008}, interhash = {ad6ada14a4f212d56e9368385d19db98}, intrahash = {3a76cfda57234ba1208b574ac2f0103e}, isbn = {0-8186-0345-3}, keywords = {dblp}, pages = {3-8}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:13.000+0200}, title = {Information Flow Analysis of Formal Specifications.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1981.html#Millen81}, year = 1981 }