%0 Conference Paper %1 conf/ifl/Page11 %A Page, Rex L. %B IFL %D 2011 %E Gill, Andy %E Hage, Jurriaan %I Springer %K dblp %P 134-147 %T Property-Based Testing and Verification: A Catalog of Classroom Examples. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2011.html#Page11 %V 7257 %@ 978-3-642-34406-0

@inproceedings{conf/ifl/Page11, added-at = {2016-11-23T00:00:00.000+0100}, author = {Page, Rex L.}, biburl = {https://www.bibsonomy.org/bibtex/2f7f49e8146182b0eecd93cbee444d95c/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2011}, editor = {Gill, Andy and Hage, Jurriaan}, ee = {http://dx.doi.org/10.1007/978-3-642-34407-7_9}, interhash = {6487ef5b7356da011a682ceed382e4b6}, intrahash = {f7f49e8146182b0eecd93cbee444d95c}, isbn = {978-3-642-34406-0}, keywords = {dblp}, pages = {134-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-11-24T11:33:43.000+0100}, title = {Property-Based Testing and Verification: A Catalog of Classroom Examples.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2011.html#Page11}, volume = 7257, year = 2011 }