Software verification games: Designing Xylem, The Code of Plants.
['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']
Software verification games: Designing Xylem, The Code of Plants.