Turing Award 2007 awarded for the groundbreaking work on Model-Checkingddj.com7 points·eusman··0 commentsOpen articleSaveView on HN