%0 Conference Paper %1 conf/sigplan/LuckhamP80 %A Luckham, David C. %A Polak, Wolfgang %B SIGPLAN %D 1980 %E Abrahams, Paul W. %I ACM %K dblp %P 113-122 %T A practical method of documenting and verifying Ada programs with packages. %U http://dblp.uni-trier.de/db/conf/sigplan/sigplan1980.html#LuckhamP80 %@ 978-0-89791-030-9

@inproceedings{conf/sigplan/LuckhamP80, added-at = {2021-08-03T00:00:00.000+0200}, author = {Luckham, David C. and Polak, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2e21c701435880b2e85cd512920921f5b/dblp}, booktitle = {SIGPLAN}, crossref = {conf/sigplan/1980}, editor = {Abrahams, Paul W.}, ee = {https://doi.org/10.1145/947783.948648}, interhash = {02f8611b9c6db855b94a4dfe20779659}, intrahash = {e21c701435880b2e85cd512920921f5b}, isbn = {978-0-89791-030-9}, keywords = {dblp}, pages = {113-122}, publisher = {ACM}, timestamp = {2024-04-09T11:16:34.000+0200}, title = {A practical method of documenting and verifying Ada programs with packages.}, url = {http://dblp.uni-trier.de/db/conf/sigplan/sigplan1980.html#LuckhamP80}, year = 1980 }