Publications de
Jean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
Dans : Proceedings of the 20th Intl. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS’96), Santa Barbara, California, 29/07/96-02/08/96, -, juillet 1996.