机译:Isabelle / HOL中Java的声音逻辑
机译:分布式混合系统量化微分动态逻辑的完全公理化
机译:混合系统的微分动态逻辑自动定理证明
机译:用伊莎贝尔/霍尔的混合系统差分Hoare逻辑和改进计算
机译:伪微分算子,积分微分方程和积分半群的正则化函数计算。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:ISABELLE / HOL中的HOARE逻辑
机译:分布式混合系统的量化差分动态逻辑