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