Matthieu Martel
Identifiers
- Open LibraryOL9715659A
Top Subjects
- Computer software, verification (1)
Books by Matthieu Martel
Total count: 2
-
Static Analysis17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Numerical Software Verification9th International Workshop, NSV 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected PapersSpringer International Publishing AG2017-01-01