HDR
From Numerical Transition Systems
Infinite Systems Verification Day
When: September 29th, 2016 Where: Auditorium, [IMAG Building|https://batiment.imag.fr/]
When: September 29th, 2016 Where: Auditorium, [IMAG Building|https://batiment.imag.fr/]
