Lessons Learned in Game Development for Crowdsourced Software Formal Verification

Presented at 3GSE 2015 by

John Murray

Drew Dean

Sean Gaurino

Leonard Eusebi

Andrew Keplinger

Tim Pavlik

Ronald Watro

Aaron Cammarata

Kelly Mclaughlin

John Cheng

Thomas Maddern