位置：成果数据库 > 会议 > 会议详情页
A Coalgebraic Semantic Framewo
  • 所属机构名称：北京大学
  • 成果类型：会议
  • 相关项目：余代数及其在软件方法学中的应用
作者： Sun Meng, Bernhard K. Aicherni
同会议论文项目
余代数及其在软件方法学中的应用
期刊论文 8 会议论文 7 著作 1
同项目会议论文
编写《数据结构》教材的几点体会
Coalgebraic Component Specific
Web Services Choreography and
On Composition and Refinement
Pre-Galois Connection on Coalg
On Refinement of Software Arch