rCOS: A refinement calculus for object systems (2005)

by Zhiming Liu , He Jifeng , Xiaoshan Li
Venue:Theoretical Computer Science
Citations:33 - 13 self