Collaborated with:Heather Logas J.Whitehead M.Mateas Richard Vallejos Lauren Scott John T. Murray Kate Compton Joseph C. Osborn Orlando Salvatore D.G.Shapiro Z.Lin H.Sanchez Michael Shavlovsky Chris Lewis 0002 Shayne Clementi
Talks about:xylem (2) plant (2) code (2) softwar (1) design (1) verif (1) game (1)
Person: Daniel Cetina
DBLP: Cetina:Daniel
Contributed to:
2014Wrote 2 papers:
- FDG-2014-LogasWMVSMCOSSL #named
- Xylem: The Code of Plants (HL, JW, MM, RV, LS, JTM, KC, JCO, OS, DGS, ZL, HS, MS, CL0, DC, SC).
- FDG-2014-LogasWMVSSMCOSL #design #game studies #verification
- Software verification games: Designing Xylem, The Code of Plants (HL, JW, MM, RV, LS, DGS, JTM, KC, JCO, OS, ZL, HS, MS, DC, SC, CL0).