englishTASC - INRIA Rennes - LINA CNRS UMR 6241

Auteur: Marie Pelleau

voir aussi : publications sur HAL

2013

  • A Constraint Solver based on Abstract Domains (2013).
    Marie Pelleau Antoine Mine Charlotte Truchet Frederic Benhamou 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2013), Romas, Italy. Lecture Notes in Computer Science

2011

2010

2009

W3C: XHTML - last update: 2013-07-26. SD.
up