A LANGUAGE FOR VERIFIABLE MODULAR PROGRAMMING

被引：0
|
作者：
MALIK, MA
机构：
来源：
AUSTRALIAN COMPUTER JOURNAL | 1982年 / 14卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：137 / 142
页数：6
相关论文
共 50 条
12345