斯特拉图拉特,索林 基于Noetherian归纳推理的机械证明公式。 (英语) 兹比尔1356.68202 J.塞姆。计算。 80,第1部分,209-249(2017).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Stratulat},J.Symb。计算。80,第1部分,209--249(2017;Zbl 1356.68202) 全文: 内政部 哈尔
文森特·拉里;威尔斯,乔;约翰·皮里;费尔鲁兹Kamareddine Skalpel:标准ML的基于约束的类型错误切片器。 (英语) Zbl 1356.68039号 J.塞姆。计算。 80,第1部分,164-208(2017).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人,J.Symb。计算。80,第1部分,164--208(2017;Zbl 1356.68039) 全文: 内政部 链接
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:一种共生产方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
詹斯·努普;劳拉·科瓦奇;雅各布兹维奇梅尔 用实证知识取代猜测:使用符号执行推断出经验证的精确最坏情况执行时间界限。 (英语) Zbl 1356.68041号 J.塞姆。计算。 80,第1部分,101-124(2017).MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Knoop}等人,J.Symb。计算。80,第1部分,101-124(2017;Zbl 1356.68041) 全文: 内政部 链接
蒋东晨;李伟 概率修正。 (英语) Zbl 1356.68220号 J.塞姆。计算。 80,第1部分,87-100(2017).MSC公司:68T27型 03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Jiang}和\textit{W.Li},J.Symb。计算。80,第1部分,87--100(2017;Zbl 1356.68220) 全文: 内政部
戴丽云;甘婷;夏碧灿;詹乃军 重新审查屏障证书。 (英语) 兹比尔1357.68110 J.塞姆。计算。 80,第1部分,62-86(2017).MSC公司:60年第68季度 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人,J.Symb。计算。80,第1部分,62--86(2017;Zbl 1357.68110) 全文: 内政部 arXiv公司
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 具有和不具有集合构造函数的一般入侵者约束的可满足性。 (英语) Zbl 1356.68269号 J.塞姆。计算。 80,第1部分,27-61(2017).MSC公司:68瓦30 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,27--61(2017;Zbl 1356.68269) 全文: 内政部 链接
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) Zbl 1356.68012号 J.塞姆。计算。 80,第1部分,4-26(2017).MSC公司:68英里11 68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,4--26(2017;Zbl 1356.68012) 全文: 内政部 arXiv公司 链接
都铎Jebelean(编辑);李伟(编辑);王东明(编辑) 关于程序验证、自动调试和符号计算的专题。 (英语) 1360.00099兹罗提 J.塞姆。计算。 80,第1部分,1-3(2017).MSC公司:00B15号机组 68-06 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean}(编辑)等人,J.Symb。计算。80,第1部分,1--3(2017;Zbl 1360.00099) 全文: 内政部