Clarke(CMU Turing Award)Amir Pnueli (Weizmann Institute and New York University)(Turing Award)E.

• 引用风之子 的 自动验证相关资源 著名学者Edmund M.