Instruction sets; Safety; Protocols; Automata; Linux; Kernel; Context;
机译:使用参数化程序等效性证明优化是正确的
机译:关于管理多线性代数模型的参数化尺寸下限
机译:参数验证的自动证明方法
机译:证明参数化计划的活力
机译:大幻觉;难以捉摸的事实:尽管有``他们的程序化消亡''法式,法国的区域语言仍然生存:皮卡第和普罗旺斯普罗旺斯的皮卡德=宏大的幻想,事实难以捉摸:法国皮卡第和普罗旺斯的皮卡德和普罗旺斯的地方语言的生存
机译:通过预防性化学疗法针对被忽视的热带病的计划的综合实施:在全国范围内证明其可行性
机译:证明参数化程序的生动性