Verification of Infinite State Systems Day @ IRIF
and Arnaud Sangnier HDR defense
WHEN & WHERE
PROGRAM
DOCUMENTS