Verification Mind Games Author(s): Jeffrey Montesano and Mark Litterick Location: United States Year: 2014 Type: Poster Download