微型电脑应用2007，Vol.23Issue(3)：14-16,3.
基于契约式设计的Java编译器实现
Implementation of the Compiler for VeriJava
张嘉铭 1张思博 1赵建军1
作者信息
- 1. 上海交通大学软件学院软件工程中心,上海,200240
- 折叠
摘要
关键词
DBC/契约式设计/Java/编译器分类
信息技术与安全科学引用本文复制引用
张嘉铭,张思博,赵建军..基于契约式设计的Java编译器实现[J].微型电脑应用,2007,23(3):14-16,3.
