维吉尔·普雷沃斯托（编辑）;克里斯蒂娜·塞塞莱亚努（编辑） 测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。 （英语） Zbl 1525.68002号 计算机科学课堂讲稿14066.查姆：施普林格（ISBN 978-3-031-38827-9/pbk；978-3-331-38828-6/ebook）。第二十二、187页。(2023). 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1499.68018号]. 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1499.68018号 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}（编辑）和\textit{C.Seceleanu}（主编），测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。查姆：斯普林格（2023；Zbl 1525.68002） 全文： 内政部