克里斯特尔·拜尔（编辑）;塞萨尔·蒂内利（编辑） 第21届系统构建和分析工具和算法国际会议特刊（TACAS 2015）。 （英语） Zbl 1376.00016号 Acta信息。 54，第8期，727-728（2017）。 正文：《信息学报》的这期特刊包含了三篇研究论文的扩展版和修订版，这些论文是从2015年TACAS上发表的论文中挑选出来的。 MSC公司： 00时25分 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{C.Tinelli}（主编），《学报》第54期，第8期，第727--728页（2017年；Zbl 1376.00016） 全文： 内政部