Conference Papers
Year :
Alexandre Chapoutot : Connect in order to contact the contributor
https://ensta-paris.hal.science/hal-03068260
Submitted on : Tuesday, December 15, 2020-3:51:30 PM
Last modification on : Tuesday, May 17, 2022-1:42:01 PM
Cite
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, et al.. Abstract domains for constraint programming with differential equations. NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩. ⟨hal-03068260⟩
Collections
53
View
0
Download