Posted on June 8, 2009 by dabaconMake Em Laugh, Make Em Cry Scenes from today’s CSE 322 (introduction to formal methods in computer science) final: