形式验证方面的资料。

Dr_Bear · 发表于 2009-2-24 16:38:53

您需要登录才可以下载或查看，没有账号？注册

x

全是通过学校图书馆下下来的，外面网站上很难下得到。有兴趣的朋友可以参考一下。

Dr_Bear · 发表于 2009-2-24 16:53:58

继续ing

Dr_Bear · 发表于 2009-2-24 16:55:52

继续ing

Dr_Bear · 发表于 2009-2-24 17:15:58

上传速度有点慢

Dr_Bear · 发表于 2009-2-24 17:20:42

再发一些

humann · 发表于 2009-2-24 18:08:03

I like it.
But can you please zip them together.
I don't have so many money.

haimo · 发表于 2009-2-24 20:31:02

谢谢楼主了

fslrayman · 发表于 2009-2-24 22:25:40

一些论文，可以到大学图书馆的数据库里面查阅到。

scorpion · 发表于 2009-2-26 00:59:36

HEHE,太多了

lgcacc · 发表于 2009-2-26 01:29:02

Thanks a lot!But can you also find some documents about the structural verification in your university library database.It seems to be rare on it.

谢谢老兄