IT University of Copenhagen;
IT University of Copenhagen;
IT University of Copenhagen;
IT University of Copenhagen;
机译:用于验证面向对象编程法则条件的逻辑编程
机译:Coq中可编程逻辑控制器计时器的形式化和验证
机译:验证有关高阶逻辑程序的终止和归约属性
机译:在COQ中验证具有更高阶分离逻辑的面向对象的程序
机译:Coq中基于分离逻辑的程序验证
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:使用Coq中的高阶分离逻辑验证面向对象的程序