![](/img/cover-not-exists.png)
A methodology for high-level software specification construction
Jing, Ying, Zhijun, He, Zhaohui, Wu, Jiangyun, Li, Weicheng, Fan, Zhaohui, XuVolume:
20
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/224155.224158
Date:
April, 1995
File:
PDF, 558 KB
english, 1995