Integration of Object-Oriented Analysis and Algebraic Specifications.

Zuzana Repask

Browse the full SOFSEM paper archive.