@InProceedings{Deharbe5,
  author =       "David D{\'e}harbe and Pascal Fontaine and Silvio
                 Ranise and Christophe Ringeissen",
  title =        "Decision procedures for the formal analysis of
                 software (Extended Abstract)",
  booktitle =    "Proc. International Colloquium on Theoretical Aspects
                 of Computing (ICTAC)",
  year =         "2006",
  pages =        "366--370",
  series =       lncs,
  volume =       "4281",
  editor =       "Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone",
  publisher =    "Springer-Verlag",
}