Rules; Guarantee conditions; Compositional development programs; Concurrent programs; Soundness proof; Key lemma;
机译:海上运输-按拼箱/整箱条款运输的袋装咖啡豆托运货物-货物因凝结而损坏-海牙规则的时间范围-举证责任-承运人是否正确谨慎地装卸货物-承运人是否有权依靠“固有的恶习”例外情况-损害是否不可避免-海牙规则第Ⅲ条第2款和第Ⅳ条第2(m)款
机译:通过裂纹修复和验证测试来保证Al_2O_3 / SiC复合材料结构完整性的新方法
机译:修订威廉王子声音护送规则的条例草案
机译:用于x86-TSO的Re-Guarantee证明系统
机译:通过超材料概念实现隔音夹芯板设计
机译:RuleEd基于Web的语义网络接口用于构建和修改可计算资格规则
机译:依赖/保证规则的合理性的结构证明
机译:用断言保证法证明辛普森4槽aCm的正确性