Catherine Dubois
Identifiers
- Open LibraryOL7999617A
Books by Catherine Dubois
Total count: 3
-
Tests and ProofsThird International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Formal Methods Teaching5th International Workshop, FMTea 2023, lübeck, Germany, March 6, 2023, ProceedingsSpringer2023-01-01
-
Intelligent Computer Mathematics16th International Conference, CICM 2023, Cambridge, UK, September 4-8, 2023, ProceedingsSpringer2023-01-01