Catherine Dubois

No bio available. Add one in Open Library.

Books by Catherine Dubois (50 max)

+ shelf+ list

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

2009

Catherine Dubois, Burkhart Wolff

+ shelf+ list

Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, September 4-8, 2023, Proceedings

2023

Catherine Dubois, Manfred Kerber

+ shelf+ list

Formal Methods Teaching 5th International Workshop, FMTea 2023, lübeck, Germany, March 6, 2023, Proceedings

2023

Catherine Dubois, Pierluigi San Pietro