%0 Conference Paper %1 conf/acm/TripathiYG80 %A Tripathi, Anand R. %A Young, William D. %A Good, Donald I. %B ACM Annual Conference %D 1980 %E Bradshaw, Charles L. %E Sherman, Gordon R. %I ACM %K dblp %P 218-224 %T A preliminary evaluation of verifiability in Ada. %U http://dblp.uni-trier.de/db/conf/acm/acm1980.html#TripathiYG80 %@ 0-89791-028-1

@inproceedings{conf/acm/TripathiYG80, added-at = {2018-11-06T00:00:00.000+0100}, author = {Tripathi, Anand R. and Young, William D. and Good, Donald I.}, biburl = {https://www.bibsonomy.org/bibtex/241ee8400437b3d880f54055ff6023ea5/dblp}, booktitle = {ACM Annual Conference}, crossref = {conf/acm/1980}, editor = {Bradshaw, Charles L. and Sherman, Gordon R.}, ee = {https://doi.org/10.1145/800176.809971}, interhash = {55e6e4df73614a014076b7b7ef89f2bf}, intrahash = {41ee8400437b3d880f54055ff6023ea5}, isbn = {0-89791-028-1}, keywords = {dblp}, pages = {218-224}, publisher = {ACM}, timestamp = {2018-11-07T12:48:00.000+0100}, title = {A preliminary evaluation of verifiability in Ada.}, url = {http://dblp.uni-trier.de/db/conf/acm/acm1980.html#TripathiYG80}, year = 1980 }