%0 Journal Article %1 journals/acta/BuddA82 %A Budd, Timothy A. %A Angluin, Dana %D 1982 %J Acta Inf. %K dblp %P 31-45 %T Two Notions of Correctness and Their Relation to Testing. %U http://dblp.uni-trier.de/db/journals/acta/acta18.html#BuddA82 %V 18

@article{journals/acta/BuddA82, added-at = {2011-01-11T00:00:00.000+0100}, author = {Budd, Timothy A. and Angluin, Dana}, biburl = {https://www.bibsonomy.org/bibtex/26ad7aac682be6972163ed9a22d2c4dbd/dblp}, ee = {http://dx.doi.org/10.1007/BF00625279}, interhash = {e1c4b0a8378f0f7aec7f373c1a0bd021}, intrahash = {6ad7aac682be6972163ed9a22d2c4dbd}, journal = {Acta Inf.}, keywords = {dblp}, pages = {31-45}, timestamp = {2011-01-12T11:32:07.000+0100}, title = {Two Notions of Correctness and Their Relation to Testing.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta18.html#BuddA82}, volume = 18, year = 1982 }