%0 Conference Paper %1 conf/acsac/KuhnD90 %A Kuhn, D. Richard %A Dray, James F. %B ACSAC %D 1990 %I IEEE %K dblp %P 32-43 %T Formal specification and verification of control software for cryptographic equipment. %U http://dblp.uni-trier.de/db/conf/acsac/acsac1990.html#KuhnD90

@inproceedings{conf/acsac/KuhnD90, added-at = {2016-02-03T00:00:00.000+0100}, author = {Kuhn, D. Richard and Dray, James F.}, biburl = {https://www.bibsonomy.org/bibtex/2439b5cb5d426911d19a785e22be9263f/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/1990}, ee = {http://dx.doi.org/10.1109/CSAC.1990.143748}, interhash = {dc982ae7043aaf0626f1d3616b7f9dff}, intrahash = {439b5cb5d426911d19a785e22be9263f}, keywords = {dblp}, pages = {32-43}, publisher = {IEEE}, timestamp = {2016-02-04T11:39:49.000+0100}, title = {Formal specification and verification of control software for cryptographic equipment.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac1990.html#KuhnD90}, year = 1990 }