Object-Z web environment and projections to UML.

@inproceedings{sun-2001-objectz, author = {Jing Sun and Jin Song Dong and Jing Liu and Hai H. Wang}, editor = {Vincent Y. Shen and Nobuo Saito and Michael R. Lyu and Mary Ellen Zurko}, title = {{Object-Z web environment and projections to UML}}, booktitle = {{Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001}}, pages = {725--734}, publisher = {ACM}, year = {2001}, url = {https://doi.org/10.1145/371920.372189}, doi = {https://doi.org/10.1145/371920.372189} }