Showing 1 - 2 results of 2 for search 'David Monniaux', query time: 0.02s Refine Results
  1. 1
    Automatic Modular Abstractions for Template Numerical Constraints

    Automatic Modular Abstractions for Template Numerical Constraints by David Monniaux

    Published 2010-07-01
    Get full text
    Article
  2. 2
    Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

    Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs by Thomas Martin Gawlitza, David Monniaux

    Published 2012-09-01
    Get full text
    Article

Search Tools: