University of Augsburg, Germany;
University of Augsburg, Germany;
University of Augsburg, Germany;
机译:通过整合形状分析和交互式定理证明来验证B〜+树
机译:通过结合测试,模型检查和交互式定理证明来验证Haskell程序
机译:通过原型验证系统的交互式定理证明来验证非线性控制的安全特性
机译:B〜+树木的验证:形状分析和互动定理证明的实验
机译:通过定理证明进行数据模型验证。
机译:在气候匹配的树木多样性实验中单个树木的性状塑造了橡树上的昆虫和疾病危害
机译:B +树的验证:结合形状分析和交互式定理证明的实验
机译:面向树的交互式处理,应用于定理证明,附录E.