Modular specification and verification techniques for object-oriented software components (0)

by P Müller, A Poetzsch-Heffter
Venue:In Foundations of Component-Based Systems