Telecommunication protocol engineering and formal method

• 电信协议工程与形式化方法