Home
ACM Turing Award Honors Founders of Automatic Verification Technology