Universitat Passau;
Technische Universitat Munchen;
IBM T.J. Watson Research Center;
机译:C ++中多重继承的操作语义和类型安全证明
机译:多重继承的度量标准和代码的可重用性– Java和C ++
机译:用于C ++多重继承的对象布局的形式验证
机译:在C ++中的运行语义和类型安全Profofor多重继承
机译:评估安全准备工作:青年农业生产安全培训课程的操作前和操作测试工具以及测试策略。
机译:用于在Wikipedia类别图中使用多个继承来计算概念之间的语义相似性的实验数据
机译:C ++中使用多重继承和多态的银行aTm机仿真
机译:类型和并发语义的证明理论概念