The University of Queensland, Brisbane, Australia;
机译:最大化从并发软件静态分析技术研究中获得的信息
机译:基于并发故障分析的并发Java组件验证方法
机译:ThreadSafe:Java并发静态分析
机译:从实验分析中最大化代码检测和静态分析所获得的信息,并对并发Java组件
机译:使用静态分析来识别和注释Java源代码中的并发设计模式。
机译:带有不同二次线圈的感应平面作动器的理论和实验分析—平面驱动器在金属表面检测中的应用
机译:Java stack检测的静态检查分析