Towards a Practical Formal Method for Object Oriented Modelling.

Kinh Nguyen

Browse the full APSEC paper archive.