时序逻辑语言XYZ/E中指针的形式化表示与验证

---

Autoria(s): 李广元; 唐稚松

Data(s)	2000
Identificador	http://ir.iscas.ac.cn/handle/311060/5072 http://www.irgrid.ac.cn/handle/1471x/67018
Fonte	李广元; 唐稚松.时序逻辑语言XYZ/E中指针的形式化表示与验证,软件学报,2000,11(3):
Palavras-Chave	#时序逻辑 #形式语义 #程序验证 #动态语义 #指针 #Temporallogic #formalsemantics #programverification #dynamicsemantics #pointer
Tipo	期刊论文