SOME PRESENTATIONS
Development Methodology of a Generic Trace for CHRv based on the simple Fluent Calculus (13/9/2009, .ppt, 1,4 Mo)
Traces: Eighteen Years of Collaboration with Jan Maluszynski
(30/01/2008, .pps, 5,3 Mo)
Traces, 20 ans de recherche commune avec Gérard Ferrand (18/10/2005, .pps, 1,2 Mo)