Login / Signup

A Graphical Environment for Formally Developing Object-Oriented Software.

Betty H. C. ChengEnoch Y. WangRobert H. Bourdeau
Published in: ICTAI (1994)
Keyphrases