procedural implementation of algebraic specification

	procedural implementation of algebraic specification
	Lin Huimin
	1993
发表期刊	ACM Trans. Program. Lang. Syst
卷号	15 期号:5 页码:876-895
收录类别	acm
部门归属	Chinese Academy of Sciences, Beijing, China
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3192
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Lin Huimin. procedural implementation of algebraic specification[J]. ACM Trans. Program. Lang. Syst,1993,15(5):876-895.
APA	Lin Huimin.(1993).procedural implementation of algebraic specification.ACM Trans. Program. Lang. Syst,15(5),876-895.
MLA	Lin Huimin."procedural implementation of algebraic specification".ACM Trans. Program. Lang. Syst 15.5(1993):876-895.