1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Jianhua Zhao, Xuandong LI
This paper presents a formal approach to specify and verify object-oriented programs written in the `programming to interfaces' paradigm. Besides the methods to be invoked by its c…