Software verification games: Designing Xylem, The Code of Plants.
Heather LogasJim WhiteheadMichael MateasRichard VallejosLauren ScottDaniel G. ShapiroJohn T. MurrayKate ComptonJoseph C. OsbornOrlando SalvatoreZhongpeng LinHuascar SanchezMichael ShavlovskyDaniel CetinaShayne ClementiChris LewisPublished in: FDG (2014)