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

作者bask (gan)

看板NTUEE_VAL

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

時間Sat Aug 18 12:12:48 2007

http://research.microsoft.com/projects/T5/ppt/Rushby.pdf formal method is coming OH~~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.167.46.182