达科斯塔,翁贝托·苏扎;阿纳玛丽亚·马丁斯·莫雷拉;Musicante,Martin A。;Souza Neto,Plácido A。 JCML:用于Java卡程序运行时验证的规范语言。 (英语) Zbl 1243.68137号 科学。计算。程序。 77,第4期,533-550(2012).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{美国达科斯塔}等人,科学。计算。程序。77,第4号,533-550(2012;Zbl 1243.68137) 全文: 内政部
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.C.B.de Oliveira}等人,科学。计算。程序。77,编号41518-532(2012年;兹bl 1243.68150) 全文: 内政部
玛格努斯·奥·米林。;迈克尔·J·C·戈登。 功能提取。 (英语) 兹比尔1243.68139 科学。计算。程序。 77,第4期,505-517(2012).MSC公司:68甲15 60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Myreen}和\textit{M.J.C.Gordon},科学。计算。程序。77,第4号,505--517(2012;Zbl 1243.68139) 全文: 内政部
达科斯塔,西蒙·安德烈;莱拉·里贝罗 使用逻辑方法验证图形语法。 (英语) Zbl 1243.68211号 科学。计算。程序。 77,第4期,480-504(2012).MSC公司:60年第68季度 第68季度第42季度 68号30 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.da Costa}和\textit{L.Ribeiro},科学。计算。程序。77,第4号,480--504(2012;Zbl 1243.68211) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1243.68270号 科学。计算。程序。 77,第4期,444-479(2012).MSC公司:68吨15 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,第4号,444--479(2012;Zbl 1243.68270) 全文: 内政部
胡安·佩纳;吉姆·伍德科克 Handel-C合成的机械化线控验证。 (英语) Zbl 1243.68154号 科学。计算。程序。 77,第4期,424-443(2012).MSC公司:68号30 60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}和\textit{J.Woodcock},科学。计算。程序。77,第4号,424--443(2012;Zbl 1243.68154) 全文: 内政部
Patría D.L.马查多。(编辑) 特刊:巴西正式方法研讨会(SBMF 2008)。2008年8月26日至29日,巴西BA萨尔瓦多,SBMF 2008会议记录中的论文选集。 (英语) Zbl 1246.68048号 科学。计算。程序。77,第4期,423-550(2012)。 MSC公司:68-06 00B25型 68号30 60年第68季度 68吨15 68N20型 03B70号 68甲15 PDF格式BibTeX公司 XML格式