Lessons Learned in Game Development for Crowdsourced Software Formal Verification presented at 3GSE 2015

by Drew Dean, John F. Murray, Sean Gaurino, Leonard Eusebi, Andrew Keplinger, Tim Pavlik, Ronald Watro, Aaron Cammarata, Kelly Mclaughlin, John Cheng, Thomas Maddern,

Summary : N/A