文章基本信息
- 标题：On Merging Object-Oriented Formal Specifications.
- 本地全文：下载
- 作者：Fathi Taibi ; Foud Mohamed Abbou ; MD. Jahangir Alam. 等
- 期刊名称：INFOCOMP
- 印刷版ISSN：1807-4545
- 出版年度：2009
- 卷号：8
- 期号：02
- 出版社：Federal University of Lavras
- 关键词：collaboration; merging; formal methods; object-oriented.
