@inproceedings{DeharbeDF13,
  author    = {David D{\'e}harbe and
               Pablo Federico Dobal and
               Pascal Fontaine},
  title     = {Approches Formelles dans l'Assistance au
              Développement de Logiciels},
  booktitle = afadl,
  year      = {2013},
}