玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) Zbl 1298.68171号 计算。科学。修订版。 5,第3期,252-277(2011)。MSC公司:60年第68季度 03B70号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.S.Pinto},计算。科学。第5版,第3号,252--277(2011;Zbl 1298.68171) 全文: 内政部 链接
克莱尔·德罗斯;Jean-Christophe Filliátre;扬尼克·莫伊 更正包含容器的代码。 (英语) Zbl 1335.68052号 Gogolla,Martin(编辑)等人,《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21767-8/pbk)。计算机科学课堂讲稿6706102-118(2011)。MSC公司:68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,Lect。注释计算。科学。6706102-118(2011年;兹bl 1335.68052) 全文: 内政部 哈尔