Chinese
您当前的位置：
首页 >
文章列表页 >
An algebraic reasoning approach for verifying behavior of software evolution processes
更新时间：2026-07-27

    • An algebraic reasoning approach for verifying behavior of software evolution processes

    • Journal of jiangsu University(Natural Science Edition)   Vol. 34, Issue 5, (2013)

    • DOI：10.3969/j.issn.1671-7775.2013.05.010    

      CLC：

    移动端阅览

  • 代飞, 王黎霞, 谢仲文, et al. An algebraic reasoning approach for verifying behavior of software evolution processes[J]. Journal of jiangsu University(Natural Science Edition), 2013, 34(5). DOI： 10.3969/j.issn.1671-7775.2013.05.010.

  •  
  •  
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

0

Views

0

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Export Citation
Share
Add to favorites
Add to my album

Related Articles

No data

Related Author

No data

Related Institution

No data
0