%0 Journal Article %1 journals/jss/McMullinG81 %A McMullin, Paul R. %A Gannon, John D. %D 1981 %J J. Syst. Softw. %K dblp %N 2 %P 177-186 %T Evaluating a data abstraction testing system based on formal specifications. %U http://dblp.uni-trier.de/db/journals/jss/jss2.html#McMullinG81 %V 2

@article{journals/jss/McMullinG81, added-at = {2022-08-16T00:00:00.000+0200}, author = {McMullin, Paul R. and Gannon, John D.}, biburl = {https://www.bibsonomy.org/bibtex/2d673ee7a4a54fe932397d0c283798d90/dblp}, ee = {https://www.wikidata.org/entity/Q111900692}, interhash = {2d1f40c42b3404b34e25d2b4e8925548}, intrahash = {d673ee7a4a54fe932397d0c283798d90}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 2, pages = {177-186}, timestamp = {2024-04-09T03:36:34.000+0200}, title = {Evaluating a data abstraction testing system based on formal specifications.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss2.html#McMullinG81}, volume = 2, year = 1981 }