Formal Methods Application: An Empirical Tale of Software Development

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