Object-oriented techniques based on specifications.

Valdis Berzins

Browse the full COMPSAC paper archive.