Formal Analysis of Object-Oriented Mograms.

Moussa Amrani, Pierre-Yves Schobbens

Browse the full ECOOP paper archive.