Hugging Peers

Software verification games: Designing Xylem, The Code of Plants

☆ Save
Heather Logas,Jim Whitehead,Michael Mateas,Richard Vallejos,Lauren Scott,Daniel G. Shapiro,John T. Murray,Kate Compton
+8 more authors show fewer
Joseph C. Osborn,Orlando Salvatore,Zhongpeng Lin,Huascar Sanchez,Michael Shavlovsky,Daniel Cetina,Shayne Clementi,Chris Lewis
FDG
published

Abstract

No abstract available.

Cite this paper

@article{logas2014,
  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 T. 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},
  journal = {FDG},
  year = {2014},
  month = {Jan},
}