Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
Radhia Cousot
1 (2005年3月24日)
出版时间：2005-3
出版社：1 (2005年3月24日)
作者：Radhia Cousot
页数：481
图书封面
下载链接
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录PDF格式下载