XYZ/E面向对象程序语义概述

---

Autoria(s): 郭亮; 唐稚松

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5048 http://www.irgrid.ac.cn/handle/1471x/67000
Fonte	郭亮; 唐稚松.XYZ/E面向对象程序语义概述,软件学报,2003,14(3):
Palavras-Chave	#时序逻辑语言XYZ/E #面向对象程序 #代理机构 #语义一致性 #精化
Tipo	期刊论文