利用形式方法、验证和确认的应用：第四届利用应用程序国际研讨会，ISoLA 2010，希腊克里特岛伊拉克利翁，2010 年 10 月 18-21 日，会议记录，第二部分PDF书籍下载

原名:Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
作品简介:两卷集 LNCS 6415 和 LNCS 6416 构成了 2010 年 10 月在希腊克里特岛伊拉克利翁举行的第四届形式方法应用国际研讨会 ISoLA 2010 的审稿论文集。所提交的 100 篇修订全文经过仔细修订和选定的FR……