Retrenchment

被引：0
|
作者：
Banach, R
Poppleton, M
机构：
[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England
[2] Coventry Univ, Sch Math & Inf Sci, Coventry CV1 5FB, W Midlands, England
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：1864 / 1865
页数：2
相关论文
共 50 条
12345