Combining Object-Oriented Analysis and Formal Description Techniques.

Ana M. D. Moreira, Robert G. Clark

Browse the full ECOOP paper archive.