Computer program verification ; Software engineering ; Computer programs ; Operating systems(Computers) ; Specifications;
机译:SAT-157拯救青年计划:证明原则和克服障碍
机译:SAT-157拯救青年计划:证明原则和克服障碍
机译:并发编程:算法,原理和基础
机译:并发程序线性时间属性的局部证明
机译:用于使用共享内存并发的编译器的模块化证明并发许可机
机译:序列倒置以促进同时放射治疗和全身治疗。在前列腺癌中确定II期随机试验的原理研究证明
机译:并发程序不变性和活跃性的充分证明原则
机译:验证并发程序。第二部分。时间证明原则