Structuring Meachanisms for an Object-Oriented Formal Specification Language.

Mrcio Cornlio, Paulo Borba

Browse the full ICSR paper archive.