Turing Award 2007 awarded for the groundbreaking work on Model-Checking(ddj.com)7 points·by eusman·18 yıl önce·0 commentsddj.comTuring Award 2007 awarded for the groundbreaking work on Model-Checkinghttp://www.ddj.com/2061036220 commentsPost comment—