交叉引用引用
这本书以下出版物引用。此列表是根据以下机构提供的数据生成的交叉参考.
Natarajan Shankar2009自动扣除验证.ACM计算调查,第41卷,发布。4,第页。1
奥斯曼·哈桑和索菲涅·塔哈尔2010抽象状态机,合金,B和Z.第5977卷,问题,第页。2
奥斯曼·哈桑吉加·帕特尔和索菲安·塔哈尔2010用定理证明精确分析组合电路的可靠性.第页。273
奥斯曼·哈桑和索菲涅·塔哈尔2010利用定理证明形式化分析算法的期望时间复杂度.计算机科学与技术杂志,第25卷,问题。6,第页。1305
西蒙·克莱默和朱利安·布拉德菲尔德。2010恶意软件的一般定义.计算机病毒学杂志,第6卷,发布。2,第页。105
伊夫·尼韦尔特201094.38逻辑蕴涵的真值表.《数学公报》,第94卷,发布。531中,第页。509
贝扎德·阿克巴普尔和劳伦斯·查尔斯·保尔森2010MetiTarski:实值特殊函数的自动定理证明程序.自动推理杂志,第44卷,发布。3中,第页。175
托比亚斯·尼普科2010线性量词消除.自动推理杂志,第45卷,发布。2,第页。189
吉尔·巴特和鲍里斯·科普夫2011不同私有机制的信息论界限.第页。191
安德烈亚·阿斯佩蒂和恩里科·塔西2011叠加作为逻辑粘合剂.理论计算机科学电子论文集,第53卷,问题,第页。1
本杰明·格雷戈里洛伊奇,波蒂埃和Laurent Théry2011几何中的自动演绎.第6301卷,问题,第页。42
奥斯曼·哈桑和索菲涅·塔哈尔2011可重构嵌入式控制系统.第页。342
何塞·巴塞拉尔·阿尔梅达玛丽亚·乔昂·弗雷德Jorge Sousa平托和西芒,索萨甜瓜2011严格的软件开发.第页。45
何塞·巴塞拉尔·阿尔梅达玛丽亚·乔昂·弗雷德Jorge Sousa平托和西芒,索萨甜瓜2011严格的软件开发.第页。81
菲利普·吕默2012用于编程、人工智能和推理的逻辑.第7180卷,问题,第页。359
杰夫·萨特克利夫斯蒂芬·舒尔茨科恩·克莱森和鲍姆加特纳2012用于编程、人工智能和推理的逻辑.第7180卷,问题,第页。406
乔治·威森巴赫2012满意度测试理论与应用——2012年SAT.第7317卷,问题,第页。312
刘天海迈克尔·纳格尔和马纳·塔赫迪里2012使用SMT解算器的有界程序验证:一个案例研究.第页。101
阿蒂夫·马斯科尔和奥斯曼·哈桑2012计算科学及其应用——ICCSA 2012.第7335卷,问题,第页。419
克拉斯·斯特兰纳奥尔勒哈格斯特罗姆约翰·韦斯伯格和克里斯蒂安·巴尔克尼乌斯2012通用人工智能.第7716卷,问题,第页。302