Changes between Version 17 and Version 18 of WikiStart


Ignore:
Timestamp:
May 4, 2015, 12:20:34 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v17 v18  
    2929=== Book Chapter === 
    3030 
    31 * Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, Informatique Mathématique, collection Alpha. CNRS Éditions, pages 87-134, 2015. 
    32 Tutorial for the EJC-IM Spring School. 
     31* Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, Informatique Mathématique, collection Alpha. CNRS Éditions, pages 87-134, 2015. (Tutorial for the EJC-IM Spring School, in French). 
    3332 
    3433=== Conferences ===