Combining Object-Oriented Analysis and Formal Description Techniques

Authors

Ana Moreira, Robert Clark,