› 看板 NTUEE_VAL 關於我們 聯絡資訊
作者im37 (53719)
看板NTUEE_VAL
標題名詞：CEGAR
時間Mon Jun 7 23:29:45 2010
應該是說這篇 http://www.springerlink.com/content/d833527r467g7261/ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.42.245
推 mondale:Counter-Example Guided Abstraction Refinement? 06/08 00:15