Publications de
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Malcom Shroff
Exploring The Semantics of UML Type Structures with Z
Dans : Proceedings of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Canterbury, United Kingdom, 21/07/97-23/07/97, Chapman & Hall, London, UK, juillet 1997.