格内西、斯特凡尼亚(编辑);迭戈·拉特拉(编辑) ERCIM工业关键系统正式方法工作组第四届国际研讨会专刊,意大利特伦托,1999年7月11日至12日,精选论文。 (英语) Zbl 0984.00049号 形式方法系统。设计。 19,第2期,119-215(2001).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)和\textit{D.Latella}(主编),《形式方法系统》。设计。19,第2号,119--215(2001;Zbl 0984.00049) 全文: 内政部
Fanteci,A。;格内西,S。;G.里斯托里。;卡列尼尼,M。;瓦诺奇,M。;莫里希尼,P。 通过自然语言翻译协助需求形式化。 (英语) Zbl 0800.68648号 形式方法系统。设计。 4,第3期,243-263(1994年).MSC公司:68T50型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人,《形式方法系统》。设计。4,第3243-263号(1994年;兹bl 0800.68648) 全文: 内政部
亚历山德罗·范特奇;格内西、斯特凡尼亚;乔亚·里斯托里 基于操作的逻辑的模型检查。 (英语) Zbl 0804.68086号 形式方法系统。设计。 4,第2期,187-203(1994).MSC公司:60年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人,《形式方法系统》。设计。4,第2号,187--203(1994;Zbl 0804.68086) 全文: 内政部