%0 Conference Paper %1 conf/tap/KiniryZH12 %A Kiniry, Joseph R. %A Zimmerman, Daniel M. %A Hyland, Ralph %B TAP %D 2012 %E Brucker, Achim D. %E Julliand, Jacques %I Springer %K dblp %P 51-66 %T Testing Library Specifications by Verifying Conformance Tests. %U http://dblp.uni-trier.de/db/conf/tap/tap2012.html#KiniryZH12 %V 7305 %@ 978-3-642-30472-9

@inproceedings{conf/tap/KiniryZH12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kiniry, Joseph R. and Zimmerman, Daniel M. and Hyland, Ralph}, biburl = {https://www.bibsonomy.org/bibtex/252da6f7278fda278c4641f50f66cfe05/dblp}, booktitle = {TAP}, crossref = {conf/tap/2012}, editor = {Brucker, Achim D. and Julliand, Jacques}, ee = {https://doi.org/10.1007/978-3-642-30473-6_6}, interhash = {81a0b3458fbe802defc3559f263f8d05}, intrahash = {52da6f7278fda278c4641f50f66cfe05}, isbn = {978-3-642-30472-9}, keywords = {dblp}, pages = {51-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:28:34.000+0200}, title = {Testing Library Specifications by Verifying Conformance Tests.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2012.html#KiniryZH12}, volume = 7305, year = 2012 }