软件构造中形式化方法的力量与局限

Power and Limitations of Formal Methods for Software Fabrication

Journal of Information Technology · 1987