Kansas State University.;
机译:工业应用中的防腐保护保证。形式和法律方面,担保合同的细节,检查
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:SlockChain智能合同安全问题的正式验证框架
机译:基于事件的正式建模方法和智能合同验证方法
机译:复合Web服务中对话的一种正式验证方法。
机译:网络物理系统中控制模块的正式验证
机译:对高完整性应用程序进行合同验证的正式方法
机译:对安全分布式系统的形式化验证及其应用。