机译:对分布式编程语言的编程逻辑的形式验证
机译:使用扩展Hoare逻辑对mCWQ进行形式验证
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
机译:将自然语言规范转换为硬件验证的逻辑表格
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:I.信息技术在医疗保健中的应用中的一些问题:医疗信息系统编程-标准化的作用以及编程语言向自然语言交互发展的动力
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证