A Graphical Environment for Formally Developing Object-Oriented Software.

Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau

Browse the full ICTAI paper archive.