Software Verification Games: Designing Xylem, The Code of Plants Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Dan Shapiro, John Murray, Kate Compton, Joseph Osborn, Orlando Salvatore, Zho

First Page		Document Content
Date: 2014-04-16 19:58:46		Software Verification Games: Designing Xylem, The Code of Plants Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Dan Shapiro, John Murray, Kate Compton, Joseph Osborn, Orlando Salvatore, Zho Add to Reading List Source URL: www.fdg2014.org Download Document from Source Website File Size: 864,75 KB Share Document on Facebook