达纳·菲斯曼(编辑);里沙布·辛格(编辑);阿曼多·索拉勒扎马(编辑) 语法指导合成前言专刊。 (英语) 1490.00032兹罗提 形式方法系统。设计。 58,第3号,469-470(2021).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}(编辑)等,《形式方法系统》。设计。58,第3号,469--470(2021;Zbl 1490.00032) 全文: 内政部
哈娜·乔克勒(编辑);乔治·威森巴赫(编辑) 2018年计算机辅助验证大会特刊前言。 (英语) Zbl 1519.68003号 形式方法系统。设计。 57,第1期,第1-2期(2021年).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;Zbl 1519.68003) 全文: 内政部
阿尔多·菲洛梅诺 没有管理法律的稳定规则? (英语) Zbl 1414.00016号 研究历史。菲洛斯。科学。,B部分,学生历史。菲洛斯。国防部。物理学。 66, 186-197 (2019).MSC公司:00A79号 37D45号 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Filomeno},历史研究。菲洛斯。科学。,B部分,学生历史。菲洛斯。国防部。物理学。66、186-197(2019年;Zbl 1414.00016) 全文: 内政部 链接
阿尔多·菲洛梅诺 轨距对称性的基础性、有效性和客观性。 (英语) 兹比尔1356.00005 国际哲学研究。科学。 30,第1号,19-37(2016).MSC公司:00A30型 00A79号 81T13型 PDF格式BibTeX公司 XML格式引用 \textit{A.Filomeno},国际研究生Philos。科学。30,第1号,19--37(2016;Zbl 1356.00005) 全文: 内政部 链接