Changes between Version 5 and Version 6 of Livrables


Ignore:
Timestamp:
Jan 9, 2013, 4:21:07 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Livrables

    v5 v6  
    2424* '''L2''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l2.pdf  Les capitalistes sociaux sur Twitter : détection via mesures de similarité], novembre 2012 
    2525 
    26 * '''L3''', Yohan Boichuit, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier sur termes], décembre 2012 
     26* '''L3''', Yohan Boichuit, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier], décembre 2012 
    2727 
    2828* ''L4'', GTA : une bibliothèque vérifiée pour la programmation de systèmes infonuagiques