形式方法应用:软件开发的经验之谈

形式方法应用:软件开发的经验之谈的英文翻译

基本释义

• Formal Methods Application: An Empirical Tale of Software Development