› 看板 NTUEE_VAL 關於我們 聯絡資訊
作者bask (gan)
看板NTUEE_VAL
標題[討論] cai
時間Fri Nov 10 23:05:06 2006
老師說你跟songsong把c程式abstract到 model checker可以吃 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.115.180.35