程序性质的描述及证明

	程序性质的描述及证明
Alternative Title	description & verification of a program's property
	官荷卿; 郭亮
	2003
Source	计算机科学
Volume	30 Issue:3
Indexed Type	wanfang
Keyword	Temporallogiclanguagexyz/e Dekkeralgorithm Specification Prove Liveness Safety
Department	计算机科学国家重点实验室
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/5054
Collection	基础软件与系统重点实验室
Recommended Citation GB/T 7714	官荷卿,郭亮. 程序性质的描述及证明[J]. 计算机科学,2003,30(3).
APA	官荷卿,&郭亮.(2003).程序性质的描述及证明.计算机科学,30(3).
MLA	官荷卿,et al."程序性质的描述及证明".计算机科学 30.3(2003).

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库