The Ohio State University.;
机译:Enterprise JavaBeans Server规范的正式化和验证
机译:Enterprise JavaBeans Server规范的正式化和验证
机译:使用不变式的面向对象程序的规范和验证技术
机译:企业安全系统基于角色的访问控制的规范和验证。
机译:Hadez,用于规范和验证超媒体应用程序的框架。
机译:韩国化学企业化学事故风险评估风险指标的开发与验证
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:基于消息传递语义的并行程序规范与验证技术。