Object-Z web environment and projections to UML.

Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang

Browse the full WWW paper archive.