Browsing by Author "Wang, Shaochun"
Utting, Mark; Wang, Shaochun (Springer-Verlag, 2002-12-01)The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news is that this ...
Co-authors for Shaochun Wang
Shaochun Wang has 1 co-authors in Research Commons.