SPECIFICATION ASPECTS OF VDM

被引：3

作者：

ANDREWS, D

机构：

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1988年 / 30卷 / 03期

关键词：

D O I：

10.1016/0950-5849(88)90063-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：164 / 176

页数：13

相关论文

共 21 条

[21]

JONES CB, 1986, SYSTEMATIC SOFTWARE