ISCAS OpenIR  > 基础软件与系统重点实验室
procedural implementation of algebraic specification
Lin Huimin
1993
SourceACM Trans. Program. Lang. Syst
Volume15Issue:5Pages:876-895
Indexed Typeacm
DepartmentChinese Academy of Sciences, Beijing, China
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/3192
Collection基础软件与系统重点实验室
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Lin Huimin]'s Articles
Baidu academic
Similar articles in Baidu academic
[Lin Huimin]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Lin Huimin]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.