Open Modules: Modular Reasoning About Advice 论文

2005Lecture notes in computer science引用 235
DOI
Advanced Software Engineering MethodologiesSoftware Engineering ResearchLogic, programming, and type systems
企业软件Software Engineering ResearchAdvanced Software Engineering MethodologiesLogic, programming, and type systems
相关技术:Advanced Software Engineering Methodologies
关系图谱

Open Modules: Modular Reasoning About Advice · 相关文章

暂无数据