Programming Tools Group, University of Oxford, UK;
Programming Tools Group, University of Oxford, UK;
Programming Tools Group, University of Oxford, UK;
refactoring; mechanical verification; proof assistants;
机译:验证支持嵌入式SQL的重构
机译:使用等效性检查在重构后验证并行代码
机译:使用等价检查重新签证后验证并行代码
机译:正式方法的大挑战提案:验证堆栈
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:一项初步的双盲随机对照试验研究方案的建议。硒对冠心病患者硒蛋白p和s基因蛋白和mRNA水平表达的影响:硒基因研究
机译:正式方法的大挑战提案:经过验证的堆栈