Showing 1 - 2 results of 2 for search 'Martel, Matthieu', query time: 0.01s Refine Results
  1. 1
    Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /
    Published 2010
    Other Authors: “…Martel, Matthieu…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Martel, Matthieu…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search