@article{RNTI/papers/1000678,
  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 = {2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada, RNTI-L-2},
  year      = {2008},
  pages     = {173-190}
}