Group in Logic and the Methodology of Science University of California, Berkeley;
机译:基础证明代码语义方法的教程示例
机译:基本证明代码的句法方法
机译:评论有效性,放置和风格对计算机代码可信度看法的影响:一种启发式系统的处理方法
机译:一种更可靠,更可扩展,携带代码的渐进方法
机译:基础证明代码的一种语法方法。
机译:在学习卫生系统(SCILHS)的可扩展协作基础结构中使用退休的现行程序术语(CPT)代码进行电子表型分析的数值相似性方法
机译:一种可扩展的证明承载代码体系结构
机译:基础证明携带代码的句法方法