%0 Conference Paper %1 conf/sp/BoebertKYH85 %A Boebert, William Earl %A Kaln, R. Y. %A Young, William D. %A Hansohn, S. A. %B S&P %D 1985 %I IEEE Computer Society %K dblp %P 176-183 %T Secure Ada Target: Issues, System Design, and Verification. %U http://dblp.uni-trier.de/db/conf/sp/sp1985.html#BoebertKYH85 %@ 0-8186-0629-0

@inproceedings{conf/sp/BoebertKYH85, added-at = {2023-09-21T00:00:00.000+0200}, author = {Boebert, William Earl and Kaln, R. Y. and Young, William D. and Hansohn, S. A.}, biburl = {https://www.bibsonomy.org/bibtex/22c0a18eb48a487522a091fc3e3766762/dblp}, booktitle = {S&P}, crossref = {conf/sp/1985}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1985.10022}, interhash = {481b108661cb0565504141d10ae2ad00}, intrahash = {2c0a18eb48a487522a091fc3e3766762}, isbn = {0-8186-0629-0}, keywords = {dblp}, pages = {176-183}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:13.000+0200}, title = {Secure Ada Target: Issues, System Design, and Verification.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1985.html#BoebertKYH85}, year = 1985 }