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