...
机译:角色,角色,历史:Hoare的三合一
Microsoft Research, Cambridge, United Kingdom;
Microsoft Research, Cambridge, United Kingdom;
Northeastern University, College of Computer and Information Science, Boston, Massachusetts, USA;
机译:嵌套Hoare三元组和高阶商店的框架规则
机译:银(I)双螺旋和三螺旋的对映选择性形成:堆积相互作用的作用。
机译:从沉积物核心重建的南极泰勒河谷Hoare湖全新世环境历史
机译:关于Hoare三元组对可靠系统规范综合的适用性
机译:干扰素诱导跨膜蛋白-1在三重阴性乳腺癌中的功能作用和调节
机译:堆叠三重基因增加了拟南芥的原霉素水平
机译:角色,筹码,历史:Hoare的三重奏