Karen S. Cheung, K. O. Chow, T. Y. Cheung
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas
TOOLS, 1999.
@inproceedings{TOOLS-ASIA-1999-CheungCC, author = "Karen S. Cheung and K. O. Chow and T. Y. Cheung", booktitle = "{Proceedings of the 31st International Conference on Technology of Object-Oriented Languages and Systems}", doi = "10.1109/TOOLS.1999.796474", isbn = "0-7695-0393-4", pages = "118--125", publisher = "{IEEE Computer Society}", title = "{Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas}", year = 1999, }