Formal verification of translation validators

@inproceedings{Tristan2009FormalVO,
  title={Formal verification of translation validators},
  author={Jean-Baptiste Tristan},
  year={2009}
}