• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
结构化方法,面向对象方法的形式方法的比较与结合
缪淮扣 高晓雷
计算机工程与科学 . 1999, (4): 27 -31 .