%0 Journal Article %1 journals/cacm/GuttagHM78 %A Guttag, John V. %A Horowitz, Ellis %A Musser, David R. %D 1978 %J Commun. ACM %K dblp %N 12 %P 1048-1064 %T Abstract Data Types and Software Validation. %U http://dblp.uni-trier.de/db/journals/cacm/cacm21.html#GuttagHM78 %V 21

@article{journals/cacm/GuttagHM78, added-at = {2022-08-16T00:00:00.000+0200}, author = {Guttag, John V. and Horowitz, Ellis and Musser, David R.}, biburl = {https://www.bibsonomy.org/bibtex/2dad5aff60952311de013e6fcf15ccde5/dblp}, ee = {https://www.wikidata.org/entity/Q111901043}, interhash = {5d7d85844c101be9d13483743d21751c}, intrahash = {dad5aff60952311de013e6fcf15ccde5}, journal = {Commun. ACM}, keywords = {dblp}, number = 12, pages = {1048-1064}, timestamp = {2024-04-09T02:11:35.000+0200}, title = {Abstract Data Types and Software Validation.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm21.html#GuttagHM78}, volume = 21, year = 1978 }