A formal framework for specification and analysis of object-oriented designs

Access the content here.

Bookmark

Bookmarks: