...
机译:具有证明助手的模块化程序验证者的模块化开发
University of California, Berkeley, CA, USA;
机译:带证明助手的模块化程序验证者的模块化开发
机译:具有相关类型的经过认证的编程:Coq证明助手的实用介绍
机译:具有相关类型的经过认证的编程:Coq证明助手的实用介绍
机译:PAF介绍!,ML计划验证的证明助手
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:初步数据:由经过认证的护理助理提供的适应性医院长寿计划可防止Deli妄并减少长期护理中的急性疾病并发症(HELP-LTC)
机译:带证明助手的模块化程序验证者的模块化开发