%0 Conference Paper %1 conf/ecoop/DietlDEMWCPP12 %A Dietl, Werner %A Dietzel, Stephanie %A Ernst, Michael D. %A Mote, Nathaniel %A Walker, Brian %A Cooper, Seth %A Pavlik, Timothy %A Popovic, Zoran %B FTfJP@ECOOP %D 2012 %E Chin, Wei-Ngan %E Hobor, Aquinas %I ACM %K dblp %P 42-49 %T Verification games: making verification fun. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2012.html#DietlDEMWCPP12 %@ 978-1-4503-1272-1

@inproceedings{conf/ecoop/DietlDEMWCPP12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dietl, Werner and Dietzel, Stephanie and Ernst, Michael D. and Mote, Nathaniel and Walker, Brian and Cooper, Seth and Pavlik, Timothy and Popovic, Zoran}, biburl = {https://www.bibsonomy.org/bibtex/26ceaf0f6b69f16037e5483cbc8630fda/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2012ftfjp}, editor = {Chin, Wei-Ngan and Hobor, Aquinas}, ee = {https://doi.org/10.1145/2318202.2318210}, interhash = {2cd1e582d9878b0d221f9f29497604a8}, intrahash = {6ceaf0f6b69f16037e5483cbc8630fda}, isbn = {978-1-4503-1272-1}, keywords = {dblp}, pages = {42-49}, publisher = {ACM}, timestamp = {2018-11-07T12:41:58.000+0100}, title = {Verification games: making verification fun.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2012.html#DietlDEMWCPP12}, year = 2012 }