艾丽克斯·方丹;阿克卡·泽马里 RDA:一个Coq库,用于推理消息传递模型中的随机分布式算法。 (英语) Zbl 1424.68147号 科学。Ann.计算。科学。 26,第2号,157-186(2016).MSC公司:68吨15 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Fontaine}和\textit{A.Zemmari},科学。Ann.计算。科学。26,第2号,157--186(2016;Zbl 1424.68147) 全文: 内政部
古斯塔沃·贝塔特;胡安·坎波;卡洛斯·卢纳;阿古斯汀·罗曼诺 对Android基于权限的安全模型进行形式化分析。 (英语) Zbl 1424.68029号 科学。Ann.计算。科学。 26,第1号,27-68(2016).MSC公司:68N25号 第68季度第60季度 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{G.Betarte}等人,《科学》。Ann.计算。科学。26,第1号,27--68(2016;Zbl 1424.68029) 全文: 内政部