Turing Award 2007 awarded for the groundbreaking work on Model-Checking (ddj.com) 7 points by eusman 18y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 12.4 ms ] threadNo comments yet.