REFERENTIAL OPACITY IN NONDETERMINISTIC DATA REFINEMENT (VOL 1, PG 233, 1993)

被引：0
作者：
QIAN, XL
GOLDBERG, A
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1995年 / 17卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：180 / 180
页数：1
相关论文
共 1 条
[1]  
QIAN XL, 1993, ACM T PROGR LANG SYS, V1, P233
1