Chinese | English
ISCAS OpenIR
The weakest prespecification
C.A.R.Hoare; Jifeng He
1987
SourceInformation Processing Letters
Volume24Issue:2Pages:127 - 132
Indexed Type其他
Cooperation Status其它
Language中文
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/1265
Collection中国科学院软件研究所
Recommended Citation
GB/T 7714		 C.A.R.Hoare,Jifeng He. The weakest prespecification[J]. Information Processing Letters,1987,24(2):127 - 132.
APA C.A.R.Hoare,&Jifeng He.(1987).The weakest prespecification.Information Processing Letters,24(2),127 - 132.
MLA C.A.R.Hoare,et al."The weakest prespecification".Information Processing Letters 24.2(1987):127 - 132.
Files in This Item:
File Name/Size DocType Version Access License
bj01116057.pdf（425KB） 开放获取LicenseApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[C.A.R.Hoare]'s Articles
[Jifeng He]'s Articles
Baidu academic
Similar articles in Baidu academic
[C.A.R.Hoare]'s Articles
[Jifeng He]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[C.A.R.Hoare]'s Articles
[Jifeng He]'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.