Biblio

Export 1 results:
Filters: Author is Tim Pavlik  [Clear All Filters]
2015
Dean D, Gaurino S, Eusebi L, Keplinger A, Pavlik T, Watro R, Cammarata A, Murray J, McLaughlin K, Cheng J et al..  2015.  Lessons Learned in Game Development for Crowdsourced Software Formal Verification. 2015 USENIX Summit on Gaming, Games, and Gamification in Security Education (3GSE 15).