[Apr. 2023] Simon Robillard’s Keynote

Automated Deduction
SR1, April 17, 2023, 13:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res536