位置：成果数据库 > 会议 > 会议详情页
Permission Assurance for Semantic Aspects of Design Patterns
  • 所属机构名称：南京理工大学
  • 会议名称：19th Asia-Pacific Software Engineering Conference (APSEC’2012)
  • 时间：2012.12.4
  • 成果类型：会议
  • 相关项目：用户设计意图的程序标注及其类型验证技术研究
作者： Yang Zhao, Lingnan Song, Gongxuan Zhang|
同会议论文项目
用户设计意图的程序标注及其类型验证技术研究
期刊论文 7 会议论文 1
同项目会议论文