[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Proplane: A specification development environment
- 作者Wirsing, Martin; Nivat, Maurice
- 文件大小467.13KB
- 发表时间1996
- DOI10.1007/bfb0014355
- 页码612-615
海量图书期刊资源，随时随地畅享阅读乐趣