@inproceedings{dhaussy:hal-00517275,
  TITLE = {{Un langage de contexte de preuve pour la validation formelle de mod{\`e}les logiciels}},
  AUTHOR = {Dhaussy, Philippe and Auvray, Julien and de Belloy, Stephane and Boniol, Fr{\'e}d{\'e}ric and Landel, Eric},
  URL = {https://hal.science/hal-00517275},
  BOOKTITLE = {{conf{\'e}rences LMO'08 et CAL'08}},
  ADDRESS = {Montr{\'e}al, Canada},
  PAGES = {Non renseigne},
  YEAR = {2008},
  MONTH = Mar,
  HAL_ID = {hal-00517275},
  HAL_VERSION = {v1},
}