CoFI: The Common Framework Initiative for Algebraic Specification and Development
Current trends in theoretical computer science（2001）
摘要
Abstract. An open collaborative eort,has been initiated: to design a common,framework,for algebraic specication and development of soft-
更多查看译文
关键词
common framework initiative,algebraic specification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要