@article{RNTI/papers/1000579,
  author    = {Philippe Dhaussy and Julien Auvray and Stéphane de Belloy and Frédéric Boniol and Eric Landel},
  title     = {Un langage de contexte de preuve  pour la validation formelle de modèles logiciels},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {LMO 2008, Langages et Modèles à Objets, RNTI-L-1},
  year      = {2008},
  pages     = {61-63}
}