ToC

2008

  • Michael Leuschel, Marc Fontaine
    Probing the Depths of CSP-M: A new FDR-compliant Validation Tool.
    In ICFEM 2008, Springer-Verlag, 278--297, 2008.

2006

  • Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen Craig, Marc Fontaine
    The Ecce and Logen Partial Evaluators and their Web Interfaces.
    In Proceedings PEPM 06, John Hatcliff and Frank Tip, IBM Press, 88--94, 2006.