乌戈·德利古罗（编辑）；斯特凡诺·贝拉尔迪（编辑）；托尔斯滕·阿滕柯奇（编辑） 第26届国际校样和程序类型会议，2020年3月2日至5日，意大利都灵都灵大学，types 2020。 （英语） Zbl 1465.68018号 LIPIcs–莱布尼茨国际信息学会议录188.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-182-5）。vii，11篇文章，非连续页面，仅电子版，开放存取（2021年）。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1445.68007号]. 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面（规范、验证、度量、需求等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1445.68007号 PDF格式BibTeX公司 XML格式引用 \textit{U.de’Liguoro}（ed.）等人，第26届国际校样和程序类型会议，2020年类型，意大利都灵大学，2020年3月2-5日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1465.68018） 全文： 内政部 链接