Turing Award 2007 awarded for the groundbreaking work on Model-Checkinghttp://www.ddj.com/206103622 by eusman • 18 years ago 7 0 18 years agoDDddj.com