research.microsoft.com/projects/T5/ppt/Rushby.pdf

看板NTUEE_VAL作者 (gan)時間18年前 (2007/08/18 12:12), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/1
http://research.microsoft.com/projects/T5/ppt/Rushby.pdf formal method is coming OH~~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.167.46.182
‣ 更多 bask 的文章
文章代碼(AID): #16nd716I (NTUEE_VAL)