Search results

From Termination-Portal.org
Jump to navigationJump to search

  • Tools:Cime
    |developers=Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain.
    636 bytes (100 words) - 12:46, 9 April 2010
  • Tools:A3PAT
    |developers=Y. Bertot, P. Castéran, É. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain
    671 bytes (105 words) - 08:28, 21 May 2009
  • Bibtex:Contejean07
    author = {Évelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
    844 bytes (103 words) - 08:22, 21 May 2009
Retrieved from "http://termination-portal.org/wiki/Special:Search"