Ed Clarke Wins the Turing Award (model checking)csdhead.cs.cmu.edu4 points·ashu··0 commentsOpen articleSaveView on HN