Imperial College,South Kensington, London SW1 2AZ, UK;
机译:动态语言的即时静态类型检查
机译:在使用控制授权模型中静态执行静态职责分离策略
机译:Java建模语言更快,更完整的扩展静态检查
机译:使用Statecall策略语言组合使用动态实施的静态模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:黏附于表面的红细胞的强制分离:静力学和动力学
机译:使用Statecall策略语言将静态模型检查与动态执行相结合
机译:结合静态分析和模型检验进行软件分析