Showing 1 - 1 results of 1 for search 'Yannick Moy', query time: 0.03s Refine Results
  1. 1
    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