原名:Deductive Software Verification
作品简介:无论创建它的分析和设计方法如何。 [ 整个系统的实例，一些中间级别，如架构组件，.. JML 参考手册 [Leavens et al., 2013] 进一步区分了它们。……
资源下载
VIP免费升级VIP
原名:Deductive Software Verification
作品简介:无论创建它的分析和设计方法如何。 [ 整个系统的实例，一些中间级别，如架构组件，.. JML 参考手册 [Leavens et al., 2013] 进一步区分了它们。……
