Timothy王；罗曼·乔布雷多；马克·潘特尔；皮埃尔·洛伊·卡洛什；埃里克·费龙；Henrion，Didier迪迪埃 可信的凸优化算法自动编码。 （英语） Zbl 1364.90247号 最佳方案。工程师。 17，第4781-812号（2016）.MSC公司：90C22型 90摄氏51度 68号30 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Wang}等人，Optim。工程17，编号4，781--812（2016；Zbl 1364.90247） 全文： 内政部 arXiv公司 哈尔
亚历山大·纳普；蒂尔·莫萨科夫斯基；马库斯·罗根巴赫 面向UML中异构正式开发的机构框架——一份立场文件。 （英语） Zbl 1453.68107号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 215-230 (2015).MSC公司：68问题65 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人，Lect。票据计算。科学。8950、215--230（2015年；Zbl 1453.68107） 全文： 内政部 arXiv公司
西尔维·博尔多；弗朗索瓦Clément；Jean-Christophe Filliátre；米凯拉·梅耶罗；纪尧姆·梅尔金德；皮埃尔·韦斯 可信计算：从偏微分方程到实际程序的机械化证明。 （英语） Zbl 1369.35051号 计算。数学。申请。 68，第3号，325-352（2014）.MSC公司：35克35 6500万06 60年第68季度 65G20个 68吨15 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人，计算。数学。申请。68，第3号，325--352（2014；Zbl 1369.35051） 全文： 内政部 arXiv公司
何塞·巴塞拉尔·阿尔梅达；玛丽亚·乔昂·弗雷德。；豪尔赫·索萨·平托；西芒，索萨甜瓜 严格的软件开发。程序验证简介。 （英语） 兹标1206.68001 计算机科学本科专题伦敦：施普林格出版社（ISBN 978-0-85729-017-5/pbk；978-0-850729-018-2/ebook）。xii，第263页。(2011).MSC公司：68-01 60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人，严格的软件开发。程序验证简介。伦敦：Springer（2011；Zbl 1206.68001） 全文： 内政部