用于C语言程序验证的性质描述语言C-PDL

---

Autoria(s): 左春华; 张广泉; 郭亮

Data(s)	2007
Identificador	http://ir.iscas.ac.cn/handle/311060/5058 http://www.irgrid.ac.cn/handle/1471x/67010
Fonte	左春华; 张广泉; 郭亮.用于C语言程序验证的性质描述语言C-PDL,苏州大学学报（自然科学版）,2007,23(3):
Palavras-Chave	#C-PDL #规范模式系统 #程序性质 #模型检测 #XYZ/AE
Tipo	期刊论文