Publications de
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Dans : 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 03/12/97-17/12/97, -, décembre 1997.