Class refinement and interface refinement in object-oriented programs (1997)

by Anna Mikhajlova , Emil Sekerinski
Venue:IN PROCEEDINGS OF FME’97: INDUSTRIAL APPLICATIONS AND STRENGTHENED FOUNDATIONS OF FORMAL METHODS
Citations:38 - 5 self