Design by contract: The lessons of Ariane

被引:60
作者
Jezequel, JM
Meyer, B
机构
关键词
D O I
10.1109/2.562936
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:129 / 130
页数:2
相关论文
empty
未找到相关数据