You are here

Biblio

Export 1 results:
Filters: Author is Leonard Eusebi  [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).