@phdthesis{EURECOM+210, author = {Mazziotta, Sandro}, title = {Formalisation et simulation de comportements pour le test d\&\#039;objets gérés}, year = {1995}, note = {© Université de Nice. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :}, }