Showing 1 - 2 results of 2 for search 'Marche, Claude', query time: 0.01s Refine Results
  1. 1
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
    Published 2011
    Other Authors: “…Marché, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
    Published 2001
    Other Authors: “…Marche, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search