...
机译:重新验证并发约束编程
Linear LogicConcurrent Constraint ProgrammingProof SystemsFocusingFixed Points;
机译:证明定时并发约束程序的正确性
机译:使用Larch证明器对并发程序进行形式验证
机译:使用Larch证明器对并发程序进行形式验证
机译:证明定时并发约束计划的正确性
机译:证明堆操作程序正确性的自动技术。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:重新验证并发约束编程
机译:证明并发约束程序正确