Gary T.Leavens。（编辑）;彼得·奥赫恩（编辑）;Rajamani，Sriram K。（编辑） 经过验证的软件：理论、工具、实验。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。 （英语） Zbl 1193.68011号 计算机科学课堂讲稿6217.柏林：施普林格出版社（ISBN 978-3-642-15056-2/pbk）。x、 第217页。(2010). 有关上一次会议，请参阅兹比尔1147.68311。 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68纳米99 软件理论 00B25型 其他特别感兴趣的会议记录 引文：Zbl 1147.68311号 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}（编辑）等人，《验证软件：理论、工具、实验》。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。柏林：施普林格出版社（2010；Zbl 1193.68011） 全文： 内政部