Abstract domains for constraint programming with differential equations - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly
Conference Papers Year :
Not file

Dates and versions

hal-03068260 , version 1 (15-12-2020)

Identifiers

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⟩
53 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More