退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用分离逻辑自动验证堆操纵程序
Hongseok Yang;
机译:使用Monadic二阶逻辑自动验证指针程序
机译:VST-Floyd:一种分离逻辑工具,用于验证C程序的正确性
机译:计算分离逻辑中对底层程序的最自动化验证
机译:分离逻辑上的底漆(以及自动程序验证和分析)
机译:Coq中基于分离逻辑的程序验证
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:使用基于许可的分离逻辑对GpGpU程序进行规范和验证
机译:自动程序验证IV:程序弱逻辑中的终止证明。
机译:可编程逻辑控制器的外围设备和自动程序验证方法
机译:可编程逻辑的外围设备-程序的控制器和自动验证方法
机译:可编程逻辑控制器的外围装置及自动程序验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。