机译:SAINSBURY检查组成
机译:塞恩斯伯里银行在2级结帐时支付6%的收益率
机译:Sainsbury的目标是holborn结账
机译:用于实时规范的模型检查$$$$模型检查和符号模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:彼得·塞恩斯伯里
机译:一般从业者管理严重精神疾病的指南。由Alan Cohen和Swaran Singh。伦敦:Sainsbury心理健康中心。 2001. 22 pp。$ 5(PB)。 ISBN 1 870480 51 1Setting标准:初级保健组织的新议程调试心理健康服务。伦敦:Sainsbury心理健康中心。 2001. 32 PP。10美元(PB)。 ISBN 1 870480 49 x