格内西、斯特凡尼亚(编辑);安娜·卡瓦尔坎蒂(编辑);约翰·菲茨杰拉德(编辑);康斯坦斯·海特迈尔(编辑) 编辑。 (英语) Zbl 1425.68011号 正式Asp。计算。 31,第2期,131-132(2019).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)等,《形式语法》。计算。31,第2号,131--132(2019;Zbl 1425.68011) 全文: 内政部
JoséLuiz Fiadeiro(编辑);格内西、斯特凡尼亚(编辑);汤姆·迈鲍姆(编辑) 特刊:基于2010年9月13日至18日在意大利比萨举行的第八届IEEE软件工程和形式化方法国际会议上的陈述的扩展论文。 (英语) Zbl 1275.68019号 正式Asp。计算。24,第2期,161-302(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
格内西、斯特凡尼亚(编辑);迭戈·拉特拉(编辑) 工业关键系统的形式化方法。第二届国际研讨会论文集,1997年7月4日至5日,意大利切塞纳。 (英语) Zbl 0924.00043号 正式Asp。计算。 10,第4期,311-434(1998).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)和\textit{D.Latella}(主编),正式Asp。计算。10,第4号,311--434(1998;Zbl 0924.00043) 全文: 内政部