A Formal Software Development Approach Using Refinement Calculus.评价结果

评估详情

7

  • 影响力:4

  • 流行性:7

  • 前沿性:9

  • 新颖性:7

  • 实用性:9

  • 期刊影响因子指标:8

Back to Top