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