马丁·范策尔（编辑）;迪帕克·卡普尔（编辑）;海克·卫尔海姆（编辑）;詹乃军（编辑） 编辑。 （英文） Zbl 1425.68010号 正式Asp。计算。 31，第1、1号（2019年）. 摘自正文：本期包含2016年11月9日至13日在中国北京举行的SETTA（可靠软件工程研讨会：理论、工具和应用）系列会议第二次会议记录中的精选论文。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）等，《形式语法》。计算。31，第1、1号（2019年；Zbl 1425.68010） 全文： 内政部