This paper describes an approach for verifying programs in the presence of data abstraction and information hiding,which are key features of modern program ming languages with objects and modules.The paper focuses on the property o modular soun

一份介绍srcrr路由协议最经典的论文，学习必看-A routing protocol introduced srcrr classic paper, learning must see