University of Illinois at Urbana-Champaign, USA;
机译:Orc的可执行重写逻辑语义和Orc程序的形式分析
机译:一个以组织为中心的多代理系统规范的正式框架:一种基于重写逻辑的方法
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:重写逻辑语义:正式分析工具的促销语言规范
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:重写逻辑语义:从语言规范到形式分析工具