科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:谓词抽象中基于反例的谓词发现
Satyaki Das; David L. Dill;
机译:局部谓词抽象和反例指导的细化
机译:基于谓词抽象的安全属性Web服务组成验证
机译:基于谓词抽象的Web服务组成安全性验证
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:语义MEDLINE用于发现浏览:使用语义谓词和基于文献的发现范例阐明肥胖悖论的机制
机译:混合系统的反例指导谓词抽象
机译:基于saT的程序谓词抽象
机译:通过生成,确定列的单调性来优化数据库查询,该列的单调性为未检查谓词列表中的每个剩余不等式谓词生成表达式
机译:基于谓词谓词值的谓词预测
机译:基于模板的方法来发现谓词抽象中的析取和量化不变式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。