Changes between Version 42 and Version 43 of WikiStart


Ignore:
Timestamp:
Oct 30, 2012, 7:56:30 PM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v42 v43  
    8989 * [P23]        Report "A Formal Semantics for !SkeTo and OSL in Coq" 
    9090 * [S24]        A Verified Library of Algorithmic Skeletons: v1.0 (coming soon)  
    91  * [P25]        Report "[http://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]" 
     91 * [P25]        Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]" 
    9292 
    9393=== Task 3 ===