@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 :},
}