科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:多线程程序确定性的静态分析
Pietro Ferrara; F- Palaiseau (france;
机译:声明和检查多线程程序的确定性
机译:用于多线程Java程序的通用静态分析器
机译:平台独立的多线程程序概率分析
机译:多线程课程确定主义的静态分析
机译:对多线程和递归程序中的内存访问进行静态分析。
机译:通过交互式静态分析支持Web应用程序中的安全编程
机译:将静态分析应用于大型多线程Java程序
机译:在多线程程序中提供确定性的方法,系统和媒体
机译:智能合约确定性的静态分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。