埃里克·古堡;Sylvie推杆 功能抽象的分区框架。 (英语) Zbl 1331.68050号 形式方法系统。设计。 47,第3期,302-360(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},形式方法系统。设计。47,第3号,302-360(2015;Zbl 1331.68050) 全文: 内政部 arXiv公司
萨加·查基;阿里·古芬克尔;斯特里赫曼(Ofer Strichman) 多线程程序的回归验证(具有锁的扩展和动态线程创建)。 (英语) Zbl 1331.68048号 形式方法系统。设计。 47,第3期,287-301(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。47,第3号,287--301(2015;Zbl 1331.68048) 全文: 内政部
塔雷克·姆哈迪;奥斯曼·哈桑;索菲涅·塔哈尔 使用定理证明评估匿名性和机密性协议。 (英语) Zbl 1331.68028号 形式方法系统。设计。 47,第3期,265-286(2015).MSC公司:68个M12 68第25页 68吨15 94甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mhamdi}等人,《形式方法系统》。设计。47,第3号,265--286(2015;Zbl 1331.68028) 全文: 内政部