@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@misc{avote-D31,
  author =        {Cortier, V{\'e}ronique and Kremer, Steve and
                   Lafourcade, Pascal},
  howpublished =  {Deliverable AVOTE~3.1, (ANR-07-SESU-002)},
  month =         mar,
  note =          {106~pages},
  type =          {Contract Report},
  title =         {Computational soundness of static equivalence},
  year =          {2010},
}