首页 > 历史
爱德蒙·克拉克
外部链接
数学谱系计划中爱德蒙·克拉克的信息。
Home page at Carnegie Mellon University
Turing Award announcement
Model Checking book
CMACS home page
