SPECIFICATION OF THE UNIX FILING SYSTEM

被引：51

作者：

MORGAN, C

SUFRIN, B

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1984年 / 10卷 / 02期

关键词：

D O I：

10.1109/TSE.1984.5010215

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：128 / 142

页数：15

相关论文

共 12 条

[11]

SUFRIN B, 1982, SCI COMPUT PROGRAMMI, V1

[12]

SUFRIN B, 1983, FORMAL SPECIFICATION