马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 （英语） 兹伯利07786059 计算机科学课文查姆：施普林格（ISBN 978-3-031-43972-8/hbk；978-3-331-43975-9/pbk；978-1-031-43973-5/电子书）。第二十三章，第524页。（2024年）。MSC公司：68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán}，基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆：施普林格（2024；Zbl 07786059） 全文： 内政部
埃蒂安·安德烈（编辑）;孙骏（编辑） 用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第二部分。 （英语） Zbl 07826003号 计算机科学讲义14216.查姆：施普林格（ISBN 978-3-031-45331-1/pbk；978-3-331-45332-8/电子书）。xv，330页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 07826003） 全文： 内政部
埃蒂安·安德烈（编辑）;孙骏（编辑） 用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第一部分。 （英语） Zbl 07826002号 计算机科学讲义14215.查姆：施普林格（ISBN 978-3-031-45328-1/pbk；978-3-331-45329-8/电子书）。十六、446页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 07826002） 全文： 内政部
Alireza Mahzoon;丹尼尔·格罗;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 （英语） 兹伯利07819811 新加坡：Springer（ISBN 978-3-031-24570-1/hbk；978-3-051-24573-2/pbk；988-3-031-204571-8/电子书）。xiii，130页。(2023).MSC公司：68-02 2007年7月68日 2006年第68季度 60年第68季度 68瓦30 68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人，结构复杂乘数的形式验证。新加坡：Springer（2023；Zbl 07819811） 全文： 内政部
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 （英语） Zbl 07770922号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04863-7/hbk；978-0-2262-37693-8/电子书）。xii，532页。，开放访问（2023）。 审核人：Ioan Tomescu（布库雷什蒂） MSC公司：68-02 68-01 68第05页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin}，自动机理论。算法方法。马萨诸塞州剑桥：麻省理工学院出版社（2023；Zbl 07770922） 全文： 链接
玛莎·施尼伯 近似函数的多项式形式验证。 （英语） Zbl 07761099号 最佳大师威斯巴登：Springer Vieweg；不来梅：不来梅大学（硕士论文）（ISBN 978-3-658-41887-8/pbk；978-3-558-41888-5/电子书）。x、 79页。(2023).MSC公司：68-02 2006年第68季度 第68季度25 60年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit｛M.Schnieber｝，近似函数的多项式形式验证。威斯巴登：斯普林格·维埃格；不来梅：不来梅大学（硕士论文）（2023；Zbl 07761099） 全文： 内政部
达斯科·巴甫洛维奇 程序作为图表。从类别可计算性到可计算类别。 （英语） Zbl 07761082号 可计算性理论与应用查姆：施普林格（ISBN 978-3-031-34826-6/hbk；978-3-331-34829-7/pbk；979-3-031-34.827-3/ebook）。xvii，第252页。(2023).MSC公司：68-01 18-01 18立方米 68号30 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic}，程序作为图表。从分类可计算性到可计算类别。查姆：施普林格（2023；Zbl 07761082） 全文： 内政部 arXiv公司
第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。 （英语） Zbl 07754282号 纽约州纽约市：计算机协会（ACM）（ISBN 979-8-4007-0033-0）。xi，30篇文章，未连续页码（2023年）。MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）（2023；Zbl 07754282） 全文： 内政部
亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑） 第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放获取（2023）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013） 全文： 内政部 链接
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第三部分。 （英语） Zbl 1529.68047号 计算机科学讲义13966.查姆：施普林格（ISBN 978-3-031-37708-2/pbk；978-3-331-37709-9/ebook）。十七、502页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Enea｝（编辑）和\textit｛A.Lal｝（编辑），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第三部分查姆：施普林格（2023；Zbl 1529.68047） 全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第一部分。 （英语） Zbl 1529.68046号 计算机科学讲义13964.查姆：施普林格（ISBN 978-3-031-37705-1/pbk；978-3-331-37706-8/电子书）。xxxi，488页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Enea｝（编辑）和\textit｛A.Lal｝（编辑），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1529.68046） 全文： 内政部
维吉尔·普雷沃斯托（编辑）;克里斯蒂娜·塞塞莱亚努（编辑） 测试和证明。第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).MSC公司：68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}（编辑）和\textit{C.Seceleanu}（主编），测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。查姆：斯普林格（2023；Zbl 1525.68002） 全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第二部分。 （英语） Zbl 1528.68025号 计算机科学讲义13965.查姆：施普林格（ISBN 978-3-031-37702-0/pbk；978-3-331-37703-7/电子书）。十六、460页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Enea｝（编辑）和\textit｛A.Lal｝（编辑），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第二部分。查姆：斯普林格（2023；Zbl 1528.68025） 全文： 内政部
迪莉娅·凯斯纳（编辑）;皮埃尔·马里·佩德罗（编辑） 第28届国际校样和程序类型会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。 （英语） Zbl 1517.68019号 LIPIcs–莱布尼茨国际信息学会议录269.瓦德恩出版社：Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-95977-285-3）。vii，15篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}（ed.）和\textit{P.-M.Pédrot}（edi.），第28届证明和程序类型国际会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68019） 全文： 内政部 链接
沃尔夫冈·施莱纳 具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。 （英语） Zbl 1515.68009号 符号计算中的文本和专题查姆：施普林格（ISBN 978-3-031-24933-4/hbk；978-3-0.31-24936-5/pbk；978-1-3031-24944-1/电子书）。xii，第271页。(2023).MSC公司：68-01 68页第10页 60年第68季度 68瑞克斯 68V20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner}，具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。查姆：斯普林格（2023；Zbl 1515.68009） 全文： 内政部
乔治亚娜·卡尔泰斯（编辑）;克里斯蒂安·席林（编辑） 模型检查软件。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。 （英语） Zbl 1522.68021号 计算机科学讲义13872.查姆：施普林格（ISBN 978-3-031-32156-6/pbk；978-3-331-32157-3/电子书）。x、 第199页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}（编辑）和\textit{C.Schilling}（主编），模型检查软件。第29届国际研讨会，SPIN 2023，巴黎，法国，2023年4月26-27日。诉讼程序。查姆：施普林格（2023；Zbl 1522.68021） 全文： 内政部
乔纳森·格罗斯。;杰·耶伦;马克·安德森 图论主题。 （英语） Zbl 1526.05001号 离散数学及其应用佛罗里达州博卡拉顿：CRC出版社（ISBN 978-0-367-50787-9/hbk；978-1-032-49239-1/pbk；978-1-003-05123-7/电子书）。ix，第515页。(2023).MSC公司：05-01 05二氧化碳 05C62号 05C60型 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Gross}等人，图论主题。佛罗里达州博卡拉顿：CRC出版社（2023；Zbl 1526.05001） 全文： 内政部
文森佐·阿塞里（编辑）;阿戈斯蒂诺·科尔特斯（编辑）;皮埃特罗·费拉拉（编辑）;马蒂娜·奥利亚罗（编辑） 软件验证的挑战。2022年5月20日，意大利威尼斯CSV第一次研讨会的贡献。 （英语） Zbl 1515.68022号 智能系统参考库238.新加坡：Springer（ISBN 978-981-19-9600-9/hbk；978-981-9-9603-0/pbk；978-19-9601-6/ebook）。xv，264页。(2023).MSC公司：68-06 68新元 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Arceri｝（编辑）等人，软件验证的挑战。2022年5月20日，意大利威尼斯CSV第一次研讨会的贡献。新加坡：Springer（2023；Zbl 1515.68022） 全文： 内政部
穆罕默德·阿提夫;Jan Friso，格鲁特 了解使用mCRL2的分布式系统的行为。 （英语） Zbl 1516.68001号 系统、决策和控制研究458.查姆：施普林格出版社（ISBN 978-3-031-23007-3/hbk；978-3-331-23010-3/pbk；978-1-3031-23008-0/电子书）。第十五卷，235页。(2023).MSC公司：68-01 64岁以下 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Atif}和\textit{J.F.Groote}，理解使用mCRL2的分布式系统的行为。查姆：斯普林格（2023；Zbl 1516.68001） 全文： 内政部
达纳·理查兹;汉堡，亨利 计算机科学的逻辑和语言模型。第3版。 （英语） Zbl 07662225号 新加坡：世界科学（ISBN 978-981-12-6066-7/hbk；978-981-12-6068-1/电子书）。(2023).MSC公司：68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
Cezara德拉戈伊（编辑）;迈克尔·埃米（编辑）;王晶波（编辑） 验证、模型检查和抽象解释。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。 （英语） Zbl 1517.68010号 计算机科学讲义13881.商会：施普林格出版社（ISBN 978-3-031-24949-5/pbk；978-3-031-24950-1/ebook）。x、 第389页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dragoi}（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68010） 全文： 内政部
瑞科·赫克尔（编辑）;克里斯托弗·波斯基特（Christopher M.Poskitt）。（编辑） 第十三届图形计算模型国际研讨会论文集，GCM，法国南特，2022年7月6日。 （英语） Zbl 1522.68033号 理论计算机科学电子论文集（EPTCS）374.滑铁卢：开放出版协会（OPA）。93页。，仅电子化、开放存取（2022年）。MSC公司：68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckel}（ed.）和\textit{C.M.Poskitt}（edi.），第十三届图形计算模型国际研讨会论文集，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68033） 全文： 内政部 arXiv公司 链接
杰弗里·汉密尔顿。（编辑）;Temesghen Kahsai（编辑）;毛里齐奥·普罗埃蒂（编辑） 2022年4月3日，德国慕尼黑，HCVS/VPT 2022，第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 （英语） Zbl 1522.68032号 理论计算机科学电子论文集（EPTCS）373.滑铁卢：开放出版协会（OPA）。第62页。，仅电子化、开放存取（2022年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Hamilton}（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68032） 全文： 内政部 arXiv公司 链接
皮埃尔·甘蒂（编辑）;黛拉·莫妮卡，达里奥（编辑） 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，甘道夫2022年，西班牙马德里，2022年9月21日至23日。 （英语） Zbl 1522.68028号 理论计算机科学电子论文集（EPTCS）370.滑铁卢：开放出版协会（OPA）。第228页。，仅电子化、开放存取（2022年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Ganty｝（编辑）和\textit｛D.Della Monica｝（编辑），第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68028） 全文： 内政部 arXiv公司 链接
塞巴斯蒂安·肯特 动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。 （英语） Zbl 1509.68004号 穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。viii，第231页。，开放存取（2022年）。MSC公司：68-02 68号30 2012年第68季度 第68季度85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Kenter}，动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2022；Zbl 1509.68004） 全文： 内政部
贾亚德夫·米斯拉 编程实践中的有效理论。 （英语） Zbl 1503.68006号 ACM图书47.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-9973-9/hbk；978-1-450.3-9971-5/pbk；97 8-1-4503-4974-6/电子书）。第xx页，第541页。(2022).MSC公司：68-01 03B70号 68号30 68页第10页 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}，编程实践中的有效理论。纽约州纽约市：计算机协会（ACM）（2022；Zbl 1503.68006）
阿努吉·达瓦尔（编辑）;文凯特桑·古鲁斯瓦米（编辑） 第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度钦奈IIT马德拉斯，2022年12月18-20日。 （英语） Zbl 1502.68026号 LIPIcs–莱布尼茨国际信息学会议录250.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-261-7）。xv，44篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Dawar｝（编辑）和\textit｛V.Guruswami｝（编辑），第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度金奈马德拉斯理工学院，2022年12月18日至20日。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2022年；Zbl 1502.68026） 全文： 内政部 链接
亚历山大·阿提基斯（编辑）;罗伯托·波塞纳托（编辑）;斯特凡诺·托内塔（编辑） 第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7日至9日。 （英语） Zbl 1502.68018号 LIPIcs–莱布尼茨国际信息学会议录247.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-262-4）。xiv，15篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（ed.）等人，第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7-9日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2022；Zbl 1502.68018） 全文： 内政部 链接
艾哈迈德·博阿贾尼（编辑）;卢卡什·霍利克（编辑）;吴志林（编辑） 用于验证和分析的自动化技术。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。 （英语） Zbl 1511.68011号 计算机科学讲义13505.查姆：施普林格（ISBN 978-3-031-19991-2/pbk；978-3-0031-1992-9/电子书）。第二十三章，第432页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}（ed.）等人，验证和分析自动化技术。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25-28日。诉讼程序。查姆：施普林格（2022；Zbl 1511.68011） 全文： 内政部
叶卡捷琳娜·科门丹茨卡亚（编辑） 程序构造的数学。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。 （英语） Zbl 1514.68005号 计算机科学讲义13544.查姆：施普林格（ISBN 978-3-031-16911-3/pbk；978-3-331-16912-0/电子书）。xv，第269页。(2022).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}（编辑），程序构造数学。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格（2022；Zbl 1514.68005） 全文： 内政部
艾丽西亚·维拉纽埃娃（编辑） 基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。 （英语） Zbl 1511.68020号 计算机科学讲义13474.查姆：施普林格（ISBN 978-3-031-16766-9/pbk；978-3-0031-16767-6/电子书）。xiii，155页。(2022).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Villanueva}（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：施普林格（2022；Zbl 1511.68020） 全文： 内政部
奥沃拉比·勒贡森（编辑）;格里戈·罗苏（编辑） 模型检查软件。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。 （英语） Zbl 1499.68019号 计算机科学讲义13255.查姆：施普林格（ISBN 978-3-031-15076-0/pbk；978-3-331-15077-7/电子书）。九、153页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{O.Legunson}（编辑）和\textit{G.Rosu}（编），模型检查软件。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。查姆：施普林格（2022；Zbl 1499.68019） 全文： 内政部
刘冠军 Petri网。并发系统的理论模型和分析方法。 （英语） Zbl 1512.68001号 新加坡：Springer（ISBN 978-981-19-6308-7/hbk；978-981-9-6311-7/pbk；978-19-6309-4/电子书）。xi，第279页。(2022). 审核人：T.C.Mohan（钦奈） MSC公司：68-01 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu}，Petri网。并发系统的理论模型和分析方法。新加坡：施普林格（2022；Zbl 1512.68001） 全文： 内政部
海宁·巴索尔德（编辑）;杰斯珀·考克斯（编辑）;吉列赞，西尔维娅（编辑） 第27届国际校样和程序类型会议，types 2021，荷兰莱顿，虚拟会议，2021年6月14-18日。 （英语） Zbl 1494.68007号 LIPIcs–莱布尼茨国际信息学会议录239.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-254-9）。vii，12篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}（ed.）等人，第27届国际校样和程序类型会议，types 2021，荷兰莱顿，虚拟会议，2021年6月14-18日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2022；Zbl 1494.68007） 全文： 内政部 链接
沙龙·肖姆（编辑）;亚基尔·维泽尔（编辑） 计算机辅助验证。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。 （英语） Zbl 1499.68026号 计算机科学讲义13372.查姆：施普林格（ISBN 978-3-031-13187-5/pbk；978-3-331-13188-2/电子书）。xix，549页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}（编辑）和\textit{Y.Vizel}（编），计算机辅助验证。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：施普林格（2022；Zbl 1499.68026） 全文： 内政部
沙龙·肖姆（编辑）;亚基尔·维泽尔（编辑） 计算机辅助验证。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分。 （英语） Zbl 1499.68025号 计算机科学讲义13371.查姆：施普林格（ISBN 978-3-031-13184-4/pbk；978-3-331-13185-1/电子书）。xix，第555页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}（编辑）和\textit{Y.Vizel}（编），计算机辅助验证。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格（2022；Zbl 1499.68025） 全文： 内政部
Helle Hvid Hansen先生（编辑）;法比奥·扎纳西（编辑） 计算机科学中的协同代数方法。2022年4月2日至3日，第16届IFIP WG 1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑。诉讼程序。 （英语） 兹比尔1499.68017 计算机科学讲义13225.商会：施普林格出版社（ISBN 978-3-031-10735-1/pbk；978-3-031-10736-8/电子书）。十七、195页。(2022).MSC公司：68-06 68问题65 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}（编辑）和textit{F.Zanasi}（主编），计算机科学中的协同代数方法。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2-3日。诉讼程序。查姆：施普林格（2022；Zbl 1499.68017） 全文： 内政部
第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。 （英语） Zbl 1492.68007号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-9196-2）。xii，30篇文章，未连续页码（2022年）。MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）（2022；Zbl 1492.68007） 全文： 内政部
劳拉·科瓦奇（编辑）;卡尔·梅恩克（编辑） 测试和证明。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。 （英语） Zbl 1499.68018号 计算机科学讲义13361.查姆：施普林格（ISBN 978-3-031-09826-0/pbk；978-3-331-09827-7/ebook）。viii，127页。(2022).MSC公司：68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}（编辑）和\textit{K.Meinke}（主编），测试和证明。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：施普林格（2022；Zbl 1499.68018） 全文： 内政部
伊曼纽尔·德·安吉利斯（编辑）;温·范霍夫（编辑） 基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。 （英语） 兹比尔1509.68011 计算机科学讲义13290.商会：施普林格出版社（ISBN 978-3-030-98868-5/pbk；978-3-030-98869-2/ebook）。ix，第177页。(2022).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}（编辑）和textit{W.Vanhoof}（编），基于逻辑的程序合成和转换。第31届国际研讨会，LOPSTR 2021，爱沙尼亚塔林，2021年9月7-8日。诉讼程序。查姆：斯普林格（2022；Zbl 1509.68011） 全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）（编辑）;伯恩哈德·斯特芬（编辑）;易、王（编辑） 模型检查、综合和学习。在本特·琼森60岁生日之际为他撰写的论文。 （英语） Zbl 1511.68019号 计算机科学讲义13030.查姆：施普林格（ISBN 978-3-030-91383-0/pbk；978-3-0030-91384-7/ebook）。viii，第219页。(2022).MSC公司：68-06 65年第68季度 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}（ed.）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：施普林格（2022；Zbl 1511.68019） 全文： 内政部
伯恩德·芬克贝纳（编辑）;托马斯·怀斯（编辑） 验证、模型检查和抽象解释。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。 （英语） Zbl 1490.68015号 计算机科学讲义13182.查姆：施普林格（ISBN 978-3-030-94582-4/pbk；978-3-0030-94583-1/电子书）。x、 520页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}（编辑）和\textit{T.Wies}（编），验证、模型检查和抽象解释。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16-18日。诉讼程序。查姆：施普林格（2022；Zbl 1490.68015） 全文： 内政部
David M.Russinoff。 浮点硬件设计的形式验证。数学方法。第二版。 （英语） Zbl 1486.68005号 商会：施普林格出版社（ISBN 978-3-030-87180-2/hbk；978-3-030-87183-3/pbk；978-3-030-87181-9/ebook）。第xxviii页，第436页。(2022).MSC公司：68-02 2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff}，浮点硬件设计的形式验证。数学方法。第二版。查姆：施普林格（2022；Zbl 1486.68005） 全文： 内政部
安娜·索科洛娃（编辑） 第37届编程语义数学基础会议论文集，MFPS，混合：奥地利萨尔茨堡和在线，2021年8月30日至9月2日。 （英语） Zbl 1489.68030号 理论计算机科学电子论文集（EPTCS）351.滑铁卢：开放出版协会（OPA）。第313页。，仅电子化、开放存取（2021年）。MSC公司：68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}（编辑），第37届编程语义数学基础会议论文集，MFPS，混合：奥地利萨尔茨堡和在线，2021年8月30日至9月2日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68030） 全文： 内政部 链接
皮埃尔·甘蒂（编辑）;大卫·布雷索林（编辑） 2021年9月20日至22日，在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 （英语） Zbl 1489.68014号 理论计算机科学电子论文集（EPTCS）346.滑铁卢：开放出版协会（OPA）。第307页。，仅电子化、开放存取（2021年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}（编辑）和\textit{D.Bresolin}（主编），第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF，意大利帕多瓦，2021年9月20-22日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68014） 全文： 内政部 链接
侯赛因·霍贾特（编辑）;比肖克桑·卡夫（编辑） 2021年3月28日，第八届验证和合成Horn条款研讨会论文集，HCVS，虚拟版。 （英语） Zbl 1489.68020号 理论计算机科学电子论文集（EPTCS）344.滑铁卢：开放出版协会（OPA）。108页。，仅电子化、开放存取（2021年）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}（ed.）和\textit{B.Kafle}（edi.），《验证和合成Horn子句第八次研讨会论文集》，HCVS，虚拟，2021年3月28日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68020） 全文： 内政部 链接
阿列克谢·利西萨（编辑）;安德烈·奈米提克（Andrei P.Nemytykh）。（编辑） 2021年3月27日至28日，卢森堡，VPT，第九届核查和项目转换国际研讨会会议记录。 （英语） Zbl 1489.68026号 理论计算机科学电子论文集（EPTCS）341.滑铁卢：开放出版协会（OPA）。第94页。，仅电子化、开放存取（2021年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}（编辑）和\textit{A.P.Nemytykh}（主编），第九届验证和程序转换国际研讨会会议记录，卢森堡VPT，卢森堡，2021年3月27日至28日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68026） 全文： 内政部 链接
Mikołaj博扬奇克（编辑）;钱德拉·切库里（编辑） 第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。 （英语） Zbl 1482.68008号 LIPIcs–莱布尼茨国际信息学会议录213.瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-215-0）。xv，52篇文章，非连续页面，仅电子版，开放存取（2021年）。MSC公司：68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}（编辑）和\textit{C.Chekuri}（编），第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2021；Zbl 1482.68008） 全文： 内政部 链接
侯哲（编辑）;维杰·加内什（编辑） 用于验证和分析的自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。 （英语） Zbl 1489.68022号 计算机科学讲义12971.查姆：施普林格（ISBN 978-3-030-88884-8/pbk；978-3-0030-88885-5/电子书）。xv，第382页。(2021).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Hou｝（编辑）和\textit｛V.Ganesh｝（编辑），用于验证和分析的自动化技术。第19届国际研讨会，ATVA 2021，澳大利亚昆士兰州黄金海岸，2021年10月18-22日。诉讼程序。查姆：施普林格（2021；Zbl 1489.68022） 全文： 内政部
卡洛·库比（编辑）;约翰·埃德尔（编辑）;马克·雷诺兹（编辑） 第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。 （英语） Zbl 1473.68013号 LIPIcs–莱布尼茨国际信息学会议录206.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-206-8）。xiv，17篇文章，非连续页面，仅电子版，开放存取（2021年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1473.68013） 全文： 内政部 链接
侯哲 逻辑和计算基础。具有实用的自动推理和验证功能。 （英语） Zbl 1489.68002号 计算机科学课文查姆：施普林格（ISBN 978-3-030-87881-8/hbk；978-3-0.30-87882-5/电子书）。x、 第221页。(2021). 审核人：马可·贝尼尼（科莫） MSC公司：68-01 03-01 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{Z.Hou}，逻辑和计算基础。具有实用的自动推理和验证功能。查姆：施普林格（2021；Zbl 1489.68002） 全文： 内政部
卡琳娜·皮尔奇 具有多个随机变量的混合Petri网的统计模型检验和有界可达性分析。 （英语） 兹比尔1472.68003 穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。十八、267页。(2021).MSC公司：68-02 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Pilch}，具有多个随机变量的混合Petri网的统计模型检查和时限可达性分析。穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2021；Zbl 1472.68003）
Cliff B.琼斯。（编辑）;贾亚德夫·米斯拉（编辑） 编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 1473.68016号 ACM图书39.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8728-6/hbk；978-1-450.3-8729-3/pbk；968-1-4503-4731-6/电子书）。xx，429页。(2021). 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68-06 01A70号 68-03 68号30 68问题55 第68季度85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones（编辑）和textit{J.Misra}（编辑），编程理论。托尼·霍尔的生活和作品。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1473.68016） 全文： 内政部
阿尔芬斯·拉阿尔曼（编辑）;安娜·索科洛娃（编辑） 模型检查软件。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。 （英语） Zbl 1482.68029号 计算机科学讲义12864.查姆：施普林格（ISBN 978-3-030-84628-2/pbk；978-3-0030-84629-9/ebook）。x、 195页。(2021).MSC公司：68-06 68N99型 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Laarman}（编辑）和\textit{A.Sokolova}（主编），模型检查软件。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。查姆：施普林格（2021；Zbl 1482.68029） 全文： 内政部
亚历山德拉·席尔瓦（编辑）;Leino，K.Rustan M。（编辑） 计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。 （英语） Zbl 1482.68040号 计算机科学讲义12760.商会：施普林格出版社（ISBN 978-3-030-81687-2/pbk；978-3-030-81688-9/ebook）。xxiii，940页。(2021).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}（编辑）和\textit{K.R.M.Leino}（编），计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：施普林格（2021；Zbl 1482.68040） 全文： 内政部
亚历山德拉·席尔瓦（编辑）;Leino，K.Rustan M。（编辑） 计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分。 （英语） Zbl 1489.68029号 计算机科学讲义12759.查姆：施普林格（ISBN 978-3-030-81684-1/pbk；978-3-0030-81685-8/电子书）。第二十四、922页。(2021).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}（编辑）和\textit{K.R.M.Leino}（编），计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分：商会：施普林格（2021；Zbl 1489.68029） 全文： 内政部
2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。 （英语） Zbl 1466.68005号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8339-4）。27篇文章，未连续翻页（2021年）。MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1466.68005） 全文： 内政部
玛丽贝尔·费尔南德斯（编辑） 基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。 （英语） Zbl 1482.68019号 计算机科学讲义12561.查姆：施普林格（ISBN 978-3-030-68445-7/pbk；978-3-0030-68446-4/ebook）。x、 第345页。(2021).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fernández｝（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7-9日。诉讼程序。查姆：施普林格（2021；Zbl 1482.68019） 全文： 内政部
弗雷德里克·卢勒格（编辑）;弗朗茨·沃塔瓦（编辑） 测试和证明。第15届国际会议，TAP 2021，作为STAF 2021的一部分，虚拟活动，2021年6月21日至22日举行。诉讼程序。 （英语） Zbl 1482.68031号 计算机科学讲义12740.查姆：施普林格（ISBN 978-3-030-79378-4/pbk；978-3-0030-79379-1/电子书）。xiii，107页。(2021).MSC公司：68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Loulerge}（编辑）和\textit{F.Wotawa}（主编），测试和证明。第15届国际会议，TAP 2021，作为STAF 2021的一部分举行，虚拟活动，2021年6月21日至22日。诉讼程序。查姆：施普林格（2021；Zbl 1482.68031） 全文： 内政部
弗里茨·亨利恩（编辑）;沙龙·肖姆（编辑）;亚基尔·维泽尔（编辑） 验证、模型检查和抽象解释。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。 （英语） Zbl 1471.68017号 计算机科学讲义12597.查姆：施普林格（ISBN 978-3-030-67066-5/pbk；978-3-0030-67067-2/电子书）。十五、604页。(2021).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格（2021；Zbl 1471.68017） 全文： 内政部
悉达哈·克里希纳;尼萨尔·帕特尔;丹尼斯·沙沙;托马斯·怀斯 并发搜索结构的自动验证。 （英语） Zbl 1473.68009号 计算机科学综合讲座13.加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-63639-130-4/hbk；978-1-63659-128-1/pbk；978-1-63639-129-8/电子书）。xi，176页。(2021).MSC公司：68-02 68页第10页 68第20页 60年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit｛S.Krishna｝等人，并发搜索结构的自动验证。加利福尼亚州圣拉斐尔：摩根和克莱普尔出版社（2021；兹bl 1473.68009） 全文： 内政部
乌戈·德利古罗（编辑）;斯特凡诺·贝拉尔迪（编辑）;托尔斯滕·阿滕柯奇（编辑） 第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年）。MSC公司：68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.de’Liguoro}（ed.）等人，第26届国际校样和程序类型会议，2020年类型，意大利都灵大学，2020年3月2-5日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1465.68018） 全文： 内政部 链接
帕特里克·库索特 抽象解释原则。 （英语） Zbl 1494.68002号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04490-5/hbk）。ix，819页。(2021).MSC公司：68-01 68号01 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}，抽象解释原则。马萨诸塞州剑桥：麻省理工学院出版社（2021；Zbl 1494.68002）
阿明·比尔（编辑）;Marijn脚后跟（编辑）;汉斯·范马伦（编辑）;沃尔什，托比（编辑） 满意度手册。分为两部分。第二次更新和修订版。 （英语） Zbl 1456.68001号 人工智能和应用的前沿336.阿姆斯特丹：IOS出版社（ISBN 978-1-64368-160-3/pbk；978-1-643 68-161-0/ebook）。十七、1465页。(2021).MSC公司：68-00 60年第68季度 68兰特 68T20型 68T27型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}（编辑）等人，《可满足性手册》。分为两部分。第2次更新和修订版。阿姆斯特丹：IOS出版社（2021；Zbl 1456.68001） 全文： 链接
英明生;冯、袁 模型检查量子系统。原理和算法。 （英语） Zbl 1496.68008号 剑桥：剑桥大学出版社（ISBN 978-1-108-48430-5/hbk；978-1-108-1332-3/电子书）。xii，210页。(2021).MSC公司：68-01 2012年第68季度 60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}和\textit{Y.Feng}，模型检验量子系统。原理和算法。剑桥：剑桥大学出版社（2021；Zbl 1496.68008） 全文： 内政部
亚历山大·拉施克（编辑）;多米尼克·梅里（编辑）;弗兰克·胡德克（编辑） 严格的基于国家的方法。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。 （英语） Zbl 1496.68032号 计算机科学讲义12071.查姆：施普林格（ISBN 978-3-030-48076-9/pbk；978-3-0030-48077-6/电子书）。xii，第428页。(2020).MSC公司：68-06 68号01 04年第68季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Raschke}（编辑）等人，严格的基于状态的方法。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：施普林格（2020；Zbl 1496.68032） 全文： 内政部
沃尔夫冈·阿伦特（编辑）;海克·卫尔海姆（编辑） 测试和证明。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。 （英语） Zbl 1498.68009号 计算机科学讲义12165.查姆：施普林格（ISBN 978-3-030-50994-1/pbk；978-3-0.30-50995-8/电子书）。xiii，181页。(2020).MSC公司：68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛W.Ahrendt｝（编辑）和\textit｛H.Wehrheim｝（编辑），测试和证明。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。商会：施普林格（2020；兹比尔1498.68009） 全文： 内政部
毛里齐奥·加布里埃利（编辑） 基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。 （英语） Zbl 1493.68011号 计算机科学讲义12042.查姆：施普林格（ISBN 978-3-030-45259-9/pbk；978-3-0030-45260-5/电子书）。十六、261页。(2020).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：施普林格（2020；Zbl 1493.68011） 全文： 内政部
Jean-Francois拉斯金（编辑）;大卫·布雷索林（编辑） 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2020年9月21日至22日，比利时布鲁塞尔，GandALF 2020。 （英语） Zbl 1466.68026号 理论计算机科学电子论文集（EPTCS）326.滑铁卢：开放出版协会（OPA）。第233页。，仅电子化、开放存取（2020年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}（编辑）和\textit{D.Bresolin}（主编），第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）（2020；Zbl 1466.68026） 全文： 内政部 arXiv公司 链接
劳伦·弗里堡（编辑）;马蒂亚斯·海兹曼（编辑） 2020年4月25日至26日，爱尔兰都柏林，《2020年VPT/HCVS》，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录。 （英语） Zbl 1466.68013号 理论计算机科学电子论文集（EPTCS）320.滑铁卢：开放出版协会（OPA）。127页。，仅电子化、开放存取（2020年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Fribourg｝（编辑）和\textit｛M.Heizmann｝（编辑），第八次验证和程序转换国际研讨会和第七次验证和合成Horn子句研讨会论文集，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25-26日。滑铁卢：开放出版协会（OPA）（2020；Zbl 1466.68013） 全文： 内政部 arXiv公司 链接
拉希里、舒文杜·库马尔（编辑）;王超（编辑） 计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21-24日。诉讼程序。第二部分。 （英语） Zbl 1453.68018号 计算机科学讲义12225.查姆：施普林格（ISBN 978-3-030-53290-1/pbk；978-3-0030-53291-8/电子书）。十八、680页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}（编辑）和\textit{C.Wang}（编），计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：施普林格（2020；Zbl 1453.68018） 全文： 内政部
拉希里、舒文杜·库马尔（编辑）;王超（编辑） 计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21-24日。诉讼程序。第一部分。 （英语） Zbl 1453.68017号 计算机科学讲义12224.查姆：施普林格（ISBN 978-3-030-53287-1/pbk；978-3-0030-53288-8/电子书）。十七、666页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}（编辑）和\textit{C.Wang}（编），计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格（2020；Zbl 1453.68017） 全文： 内政部
达尼埃拉·佩特里桑（编辑）;朱里安·罗特（编辑） 计算机科学中的协同代数方法。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25日至26日。诉讼程序。 （英语） Zbl 1454.68013号 计算机科学讲义12094.查姆：施普林格（ISBN 978-3-030-57200-6/pbk；978-3-0030-57201-3/电子书）。xv，201页。(2020).MSC公司：68-06 68问题65 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Petrišan}（编辑）和\textit{J.Rot}（主编），计算机科学中的协代数方法。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25-26日。诉讼程序。查姆：施普林格（2020；Zbl 1454.68013） 全文： 内政部
齐默尔曼，卡尔·海因茨 可计算性。计算模型和不确定性。（Berechenbarkeit.Berechnungsmodelle und Unentscheidbarkeit） （德语） Zbl 1452.68002号 要素威斯巴登：施普林格演讲（ISBN 978-3-658-31738-6/pbk；978-3-558-31739-3/ebook）。xiii，67页。(2020).MSC公司：68-01 03-01 03年3月 03日第10天 03D20日 03天35分 68号30 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-H.Zimmermann}，Berechenbarkeit。Berechnungsmodelle und Unentscheidbarkeit公司。威斯巴登：施普林格演讲会（2020；Zbl 1452.68002） 全文： 内政部
帕特里夏·约翰（编辑） 第36届编程语义数学基础会议论文集，MFPS XXXVI，虚拟会议，2020年6月2-6日。 （英语） Zbl 1451.68024号 理论计算机科学电子笔记352.阿姆斯特丹：爱思唯尔。304页。，仅电子化、开放存取（2020年）。MSC公司：68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}（编辑），第36届编程语义数学基础会议论文集，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔（2020；Zbl 1451.68024） 全文： 链接
尼廷·萨克塞纳（编辑）;苏尼尔·西蒙（编辑） 第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2020，印度果阿，虚拟会议，2020年12月14-18日。 （英语） Zbl 1451.68027号 LIPIcs–莱布尼茨国际信息学会议录182.瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-174-0）。viii，58篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Saxena}（编辑）和\textit{S.Simon}（编），第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2020，印度果阿，虚拟会议，2020年12月14-18日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1451.68027） 全文： 内政部 链接
洪丹凡（编辑）;奥列格·索科尔斯基（编辑） 用于验证和分析的自动化技术。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。 （英语） 兹比尔1502.68030 计算机科学讲义12302.商会：施普林格出版社（ISBN 978-3-030-59151-9/pbk；978-3-030-59152-6/ebook）。xiv，574页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Van Hung}（编辑）和\textit{O.Sokolsky}（主编），验证和分析自动化技术。第18届国际研讨会，2020年10月19-23日，越南河内，ATVA 2020。诉讼程序。查姆：施普林格（2020；Zbl 1502.68030） 全文： 内政部
扬尼克·希尔斯 具有多个一般转换触发的模型检查混合Petri网。 （英语） Zbl 1446.68001号 穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。216页。(2020).MSC公司：68-02 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hüls}，具有多个一般转换触发的模型检查混合Petri网。穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2020；Zbl 1446.68001）
埃米利奥·穆尼奥斯·韦拉斯科（编辑）;安娜·奥扎基（编辑）;马丁·西奥博尔德（编辑） 第27届时间表征与推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。 （英语） Zbl 1443.68018号 LIPIcs–莱布尼茨国际信息学会议录178.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-167-2）。xi，19篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}（ed.）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利博赞博尔扎诺。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1443.68018） 全文： 内政部 链接
马克·贝泽姆（编辑）;阿西亚·马布比（编辑） 第25届校样和程序类型国际会议。类型2019，2019年6月11日至14日，挪威奥斯陆。诉讼程序。 （英语） 兹比尔1445.68007 LIPIcs–莱布尼茨国际信息学会议录175.韦德恩：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-158-0）。ix，10篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}（编辑）和textit{A.Mahboubi}（编），第25届国际校样和程序类型会议。2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1445.68007） 全文： 内政部 链接
第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。 （英语） Zbl 1434.93002号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-7018-9）。33篇文章，未连续翻页（2020年）。MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）（2020；Zbl 1434.93002） 全文： 内政部
亚历山德拉·迪·皮耶罗（编辑）;帕斯夸尔马拉卡里亚（编辑）;拉贾戈帕尔·纳加拉扬（编辑） 从lambda演算到通过程序分析的网络安全。在克里斯·汉金退休之际为他撰写的论文。 （英语） Zbl 1435.68026号 计算机科学讲义12065.查姆：施普林格（ISBN 978-3-030-41102-2/pbk；978-3-0030-41103-9/电子书）。xiv，293页。(2020).MSC公司：68-06 03B70号 68平方米25 68号30 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}（编辑）等人，通过程序分析从lambda演算到网络安全。在克里斯·汉金退休之际为他撰写的论文。查姆：施普林格（2020；Zbl 1435.68026） 全文： 内政部
朱塞佩·普里米埃罗 在计算的基础上。 （英语） 兹比尔1450.68001 牛津：牛津大学出版社（ISBN 978-0-19-883564-6/hbk；978-0-19-883565-3/pbk）。xix，第296页。(2020). 审核人：Gudula Rünger（Chemnitz） MSC公司：68-02 68-03 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero}，《计算基础》。牛津：牛津大学出版社（2020；Zbl 1450.68001） 全文： 内政部
德克·拜尔（编辑）;达米安·祖弗里（编辑） 验证、模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。 （英语） Zbl 1429.68006号 计算机科学讲义11990.查姆：施普林格（ISBN 978-3-030-39321-2/pbk；978-3-0030-39322-9/电子书）。xiv，第471页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和\textit{D.Zufferey}（编），验证，模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：施普林格（2020；Zbl 1429.68006） 全文： 内政部
王家村;威廉·特普芬哈特 计算机科学中的形式化方法。 （英语） Zbl 1436.68002号 数学教科书佛罗里达州博卡拉顿：CRC出版社（ISBN 978-0-367-22570-4/hbk；978-1-4987-7532-8/pbk；978-0-429-18418-5/电子书）。十七、294页。(2020). 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：68-01 03B44号 03B70号 65年第68季度 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{W.Tepfenhart}，计算机科学中的形式化方法。佛罗里达州博卡拉顿：CRC出版社（2020；Zbl 1436.68002） 全文： 内政部
弗莱明·尼尔森;汉内·里斯·尼尔森 形式化方法。开胃菜。 （英语） Zbl 1474.68003号 商会：施普林格出版社（ISBN 978-3-030-05155-6/hbk；978-3-030-05156-3/ebook）。xvii，第160页。(2019).MSC公司：68-01 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}和\textit{H.Riis-Nielson}，形式方法。开胃菜。查姆：施普林格（2019；Zbl 1474.68003） 全文： 内政部
伊曼纽尔·德·安吉利斯（编辑）;格里戈里·费迪尤科维奇（编辑）;尼科斯·齐夫列科斯（编辑）;马蒂亚斯·乌尔布里奇（编辑） 第六次霍恩条款验证与合成研讨会会议记录，2019年HCVS，第三次研讨会《程序等价性和关系推理》，PERR 2019，捷克共和国布拉格，2019年4月6日至7日。 （英语） Zbl 1441.68008号 理论计算机科学电子论文集（EPTCS）296.滑铁卢：开放出版协会（OPA）。75页。，仅电子、开放存取（2019年）。MSC公司：68-06 03B70号 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}（ed.）等人，第六次霍恩条款验证与合成研讨会会议记录，2019年HCVS，以及第三次研讨会《程序等价性和关系推理》，PERR 2019，捷克共和国布拉格，2019年4月6-7日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1441.68008） 全文： 内政部 arXiv公司 链接
杰罗姆·勒鲁（编辑）;Jean-Francois拉斯金（编辑） 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2019年9月2日至3日，法国波尔多，GandALF 2019。 （英语） Zbl 1436.68031号 理论计算机科学电子论文集（EPTCS）305.滑铁卢：开放出版协会（OPA）。182页。，仅电子、开放存取（2019年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}（编辑）和\textit{J.-F.Raskin}（主编），第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年甘道夫，法国波尔多，2019月2-3日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1436.68031） 全文： 内政部 arXiv公司 链接
阿尔卡德夫查托帕迪亚伊（编辑）;保罗·加斯丁（编辑） 第39届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2019，印度孟买，2019年12月11日至13日。 （英语） 兹比尔1434.68021 LIPIcs–莱布尼茨国际信息学会议录150.瓦德恩：达格斯图尔城堡-莱布尼茨Zentrum für Informatik出版社（ISBN 978-3-95977-131-3）。xii，51篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chattopadhyay}（ed.）和\textit{P.Gastin}（edi.），第39届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2019，印度孟买，2019年12月11-13日。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2019年；Zbl 1434.68021） 全文： 内政部 链接
彼得·戴比杰（编辑）;何塞·埃斯皮里托·桑托（编辑）;路易斯·平托（编辑） 2018年6月18日至21日在葡萄牙布拉加举行的第24届国际校样和程序类型会议，2018年types。 （英语） Zbl 1433.68014号 LIPIcs–莱布尼茨国际信息学会议录130.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-106-1）。7篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}（ed.）等人，第24届国际校样和程序类型会议，2018年类型，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2019；Zbl 1433.68014） 全文： 内政部 链接
鲁道夫·伯哈默 计算机科学数学。基本概念、结构及其应用。第三次扩展和更新版本。（Mathematik für die Informatik.Grundlegende Begriffe，Strukturen und ihre Anwendung） （德语） Zbl 1456.68002号 威斯巴登：Springer Vieweg（ISBN 978-3-658-25808-5/pbk；978-3-558-25809-2/ebook）。xii，426页。(2019). 审核人：Dieter Riebeshel（吕讷堡） MSC公司：68-01 00A06号 03B05号 03B10号机组 03E20型 68号01 68号30 68第05页 60年第68季度 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}，Mathematik füR die Informatik，《信息》。Grundlegende Begriffe、Strukturen和ihre Anwendung。第三次扩展和更新版本。威斯巴登：斯普林格·维埃格（2019；Zbl 1456.68002） 全文： 内政部
罗纳德·德汉 多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 （英语） Zbl 1435.68010号 计算机科学讲义11880.柏林：施普林格出版社（ISBN 978-3-662-60669-8/pbk；978-3-562-60670-4/电子书）。xi，第398页。(2019).MSC公司：68-02 03B44号 2015年第68季度 68年第27季度 60年第68季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.deHaan}，多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。柏林：施普林格（2019；Zbl 1435.68010） 全文： 内政部
格雷厄姆·赫顿（编辑） 程序构造的数学。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。 （英语） Zbl 1428.68024号 计算机科学讲义11825.查姆：施普林格（ISBN 978-3-030-33635-6/pbk；978-3-0.30-33636-3/ebook）。viii，467页。(2019).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}（编辑），程序构造的数学。2019年10月7日至9日，葡萄牙波尔图，第13届国际会议，MPC 2019。诉讼程序。查姆：施普林格（2019；Zbl 1428.68024） 全文： 内政部
陈玉芳（编辑）;Cheng，Chih-Hong先生（编辑）;哈维尔·埃斯帕尔扎（编辑） 用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。 （英语） 兹比尔1428.68012 计算机科学讲义11781.查姆：施普林格（ISBN 978-3-030-31783-6/pbk；978-3-0030-31784-3/电子书）。xi，第552页。(2019).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}（编辑）等，《验证和分析自动化技术》。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：施普林格（2019；Zbl 1428.68012） 全文： 内政部
巴巴拉·科尼格（编辑） 第35届编程语义数学基础会议记录，MFPS XXXV，英国伦敦，2019年6月4-7日。 （英语） Zbl 1428.68030号 理论计算机科学电子笔记347.阿姆斯特丹：爱思唯尔。第324页。，仅电子、开放存取（2019年）。MSC公司：68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛B.König｝（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4日至7日。阿姆斯特丹：爱思唯尔（2019；兹bl 1428.68030） 全文： 链接
托德·费希尔;鲍里斯·哈塞尔布拉特 双曲线流。 （英语） Zbl 1430.37002号 苏黎世高等数学讲座柏林：欧洲数学学会（EMS）（ISBN 978-3-03719-200-9/pbk；978-3-0.3719-700-4/电子书）。xiv，723页。(2019). 审核人：阿尔曼·阿桑纳欣（圣保罗） MSC公司：37-02 37日xx 37A30型 37磅40 37B02型 PDF格式BibTeX公司 XML格式引用 \textit{T.Fisher}和\textit{B.Hasselblatt}，双曲流。柏林：欧洲数学学会（EMS）（2019；Zbl 1430.37002） 全文： 内政部
弗雷德·梅斯纳德（编辑）;彼得·斯图基（Peter J.Stuckey）。（编辑） 基于逻辑的程序合成和转换。2018年9月4日至6日，第28届国际研讨会，2018年LOPSTR，德国法兰克福/梅因。修订了选定的论文。 （英语） Zbl 1425.68014号 计算机科学讲义11408.查姆：施普林格（ISBN 978-3-030-13837-0/pbk；978-3-0.30-13838-7/电子书）。xx，203页。(2019).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}（编辑）和textit{P.J.Stuckey}（主编），基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆：斯普林格（2019；Zbl 1425.68014） 全文： 内政部
约翰·甘珀（编辑）;苏菲·平奇纳特（编辑）;圭多·西亚维科（编辑） 第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。 （英语） Zbl 1423.68024号 LIPIcs–莱布尼茨国际信息学会议录147.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-127-6）。xi，20篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Gamper｝（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2019年；Zbl 1423.68024） 全文： 内政部 链接
法布里西奥·比昂迪（编辑）;托马斯·吉文·威尔森（编辑）;Legay、Axel（编辑） 模型检查软件。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。 （英语） Zbl 1425.68004号 计算机科学讲义11636.查姆：施普林格（ISBN 978-3-030-30922-0/pbk；978-3-0.30-30923-7/电子书）。x、 第261页。(2019).MSC公司：68-06 68N99型 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}（编辑）等人，模型检查软件。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。查姆：施普林格（2019；Zbl 1425.68004） 全文： 内政部
佩德罗·里贝罗（编辑）;奥古斯托·桑帕约（编辑） 统一编程理论。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。 （英语） Zbl 1419.68018号 计算机科学讲义11885.查姆：施普林格（ISBN 978-3-030-31037-0/pbk；978-3-0.30-31038-7/电子书）。xiv，217页。(2019).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}（编辑）和textit{A.Sampaio}（主编），统一编程理论。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格（2019；Zbl 1419.68018） 全文： 内政部