λ演算与微处理器形式验证(原创)

lingcore · 发表于 2005-8-16 06:02:00

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

×

LBSALE[100]LBSALE[这个贴子最后由lingcore在 2005/08/16 12:13pm 第 1 次编辑]

a survey paper on formal microprocessor verification based on theorem provers.[DISABLELBCODE]

老扁 · 发表于 2005-8-16 11:50:13

请压缩后上传

lingcore · 发表于 2005-8-16 12:09:37

LBSALE[100]LBSALEThis is the compressed version.[DISABLELBCODE]

zxlhwx · 发表于 2005-9-5 08:43:47

还行啊

dgylablab · 发表于 2009-5-1 21:39:27

好，谢谢！

账号		自动登录	找回密码
密码			注册

λ演算与微处理器形式验证(原创)

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

λ演算与微处理器形式验证(原创)

λ演算与微处理器形式验证(原创)

λ演算与微处理器形式验证(原创)

浏览过的版块