You are here

Lessons Learned in Game Development for Crowdsourced Software Formal Verification

TitleLessons Learned in Game Development for Crowdsourced Software Formal Verification
Publication TypeConference Paper
AuthorsDean D, Gaurino S, Eusebi L, Keplinger A, Pavlik T, Watro R, Cammarata A, Murray J, McLaughlin K, Cheng J, Maddern T