基于B方法的TCP协议形式化研究
기우B방법적TCP협의형식화연구
Formally Study TCP Protocol Based On B Method