Search results

Jump to: navigation, search

  • Partners
    * [http://www.adacore.com/ AdaCore Paris] (Yannick Moy, Claire Dross)
    604 B (76 words) - 15:34, 27 March 2015
  • Publications
    Claire Dross and Yannick Moy. Claire Dross and Yannick Moy.
    12 KB (1,803 words) - 12:01, 6 September 2017
  • Kick-off meeting 20-21 November 2014
    * 10:30 Yannick Moy (AdaCore) : Generation of loop invariants based on patterns for code with c * Yannick MOY (AdaCore)
    2 KB (263 words) - 16:01, 27 March 2015
  • Paris meeting 2 December 2015
    15h30-16h00 '''Yannick Moy (AdaCore)'''
    7 KB (1,084 words) - 18:26, 13 November 2015
Retrieved from "http://vecolib.imag.fr/index.php/Special:Search/Moy"