按条件检索“2”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Constructing property-oriented models for verification SCIE CPCI-S

作者:He, JF;Qin, SC;Sherif, A

通讯作者地址:Qin, SC (reprint author), Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.

作者机构:[He, JF; Qin, SC; Sherif, A]Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.;[He, JF; Qin, SC; Sherif, A] E China Normal Univ, Software 更多

来源:UNIFYING THEORIES OF PROGRAMMING,2006,Vol.4010,85-100

收录类别:SCIE;CPCI-S

会议时间:FEB 05-07, 2006

会议名称:1st International Symposium on Unifying Theories of Programming

WOS被引:1

资源类型:外文会议论文

TOP