北卡罗来纳州比埃洛娃。;德拉戈尼,N。;马萨奇,F。;Naliuka,K。;我·西亚汉。 在移动代码的安全性契约中进行匹配。 (英语) Zbl 1192.68236号 J.日志。阿尔盖布。程序。 78,第5号,340-358(2009).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{N.Bielova}等人,J.Log。阿尔盖布。程序。78,第5号,340-358(2009;Zbl 1192.68236) 全文: DOI程序
尼古拉·德拉戈尼;毛罗·加斯帕里 用于指定容错软件体系结构的基于对象的代数。 (英语) Zbl 1080.68013号 J.日志。阿尔盖布。程序。 63,第2期,271-297(2005).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Dragoni}和\textit{M.Gaspari},J.Log。阿尔盖布。程序。63,第2号,271--297(2005;Zbl 1080.68013) 全文: DOI程序