Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Daniel G. Shapiro, John Murray, Kate Compton, Joseph C. Osborn, Orlando Salvatore, Zhongpeng Lin, Huascar Sanchez, Michael Shavlovsky, Daniel Cetina, Shayne Clementi, Chris Lewis 0002. Software verification games: Designing Xylem, The Code of Plants. In Michael Mateas, Tiffany Barnes, Ian Bogost, editors, Proceedings of the 9th International Conference on the Foundations of Digital Games, FDG 2014, Liberty of the Seas, Caribbean, April 3-7, 2014. Society for the Advancement of the Science of Digital Games, 2014. [doi]
@inproceedings{LogasWMVSSMCOSL14,
title = {Software verification games: Designing Xylem, The Code of Plants},
author = {Heather Logas and Jim Whitehead and Michael Mateas and Richard Vallejos and Lauren Scott and Daniel G. Shapiro and John Murray and Kate Compton and Joseph C. Osborn and Orlando Salvatore and Zhongpeng Lin and Huascar Sanchez and Michael Shavlovsky and Daniel Cetina and Shayne Clementi and Chris Lewis 0002},
year = {2014},
url = {http://www.fdg2014.org/papers/fdg2014_paper_17.pdf},
researchr = {https://researchr.org/publication/LogasWMVSSMCOSL14},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 9th International Conference on the Foundations of Digital Games, FDG 2014, Liberty of the Seas, Caribbean, April 3-7, 2014},
editor = {Michael Mateas and Tiffany Barnes and Ian Bogost},
publisher = {Society for the Advancement of the Science of Digital Games},
isbn = {978-0-9913982-2-5},
}