Consistency of the static and dynamic components of object-oriented specifications (2002)

by A Formica, H Frank
Venue:Data & Knowledge Engineering, Volume 40, Issue