Showing 1 - 2 results of 2 for search 'Claude Marché', query time: 0.04s Refine Results
  1. 1
    A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
    by Ran Chen, Martin Clochard, Claude Marché
    Published 2017-11-01
    Get full text
    Article
  2. 2
    Lightweight Interactive Proving inside an Automatic Program Verifier
    by Sylvain Dailler, Claude Marché, Yannick Moy
    Published 2018-11-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search