2007 ACM A. M. Turing Award
Laureates
エドムンド・クラーク
アレン・エマーソン
ジョセフ・シファキス