亚美尼亚加布里埃尔;Mc Namee,Lawrence P。;大卫·J·特拉威克。 用于分析程序行为和性能的限定函数方法。 (英语) Zbl 0563.68011号 IEEE传输。软件工程。 11, 758-773 (1985).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gabrielian}等人,IEEE Trans。柔和。工程11,758--773(1985;Zbl 0563.68011) 全文: 内政部
文森佐·安布里奥拉;福斯卡·吉安诺蒂;Pedreschi,恐龙;佛朗哥·都灵 符号语义和程序简化。 (英语) Zbl 0563.68010号 IEEE传输。软件工程。 11, 784-794 (1985).MSC公司:第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.Ambriola}等人,IEEE Trans。柔和。工程11,784--794(1985;Zbl 0563.68010) 全文: 内政部
霍利·L·霍华德;巴里·罗森。 合格的数据流问题。 (英语) Zbl 0447.68009号 IEEE传输。软件工程。 7, 60-78 (1981).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Holley}和\textit{B.K.Rosen},IEEE Trans。柔和。工程7,60--78(1981;Zbl 0447.68009) 全文: 内政部