Freie Universitaet Berlin, Germany;
机译:算法Metatheorems对空间复杂性和平行度的应用(邀请谈话)
机译:证明分布式协议安全性的简单不变式(特邀演讲)
机译:证明分布式协议安全性的简单不变式(特邀演讲)
机译:邀请的谈话:关于(相当)通用定理证明方法及其在形而上学中的应用
机译:关于交互式定理证明在计算科学和工程中的应用。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:通过程序专业化证明的归纳定理:使用Ecce生成Isabelle的证明(邀请演讲)
机译:sTRIps:定理证明在解决问题中的应用新方法。