穆利·萨吉夫;尼西姆·弗朗西兹;罗德,迈克尔;莱因哈德·威廉 基于逻辑的程序流分析方法。 (英语) Zbl 0904.68062号 学报信息。 35,第6期,457-504(1998).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sagiv}等人,《信息学报》第35期,第6期,第457--504页(1998年;Zbl 0904.68062) 全文: 内政部
尼西姆·弗朗西兹 产品特性及其直接验证。 (英语) Zbl 0526.68007号 学报信息。 20, 329-344 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},Acta Inf.20,329--344(1983;Zbl 0526.68007) 全文: 内政部
尼西姆·弗朗西兹;阿米尔·普努利 循环程序的一种证明方法。 (英语) Zbl 0367.68009号 学报信息。 133-157年9月(1978年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{A.Pnueli},《信息学报》9,133--157(1978;Zbl 0367.68009) 全文: 内政部
尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 (英语) Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,《信息学报》8,125--144(1977;Zbl 0359.68023) 全文: 内政部