Skip to Main content Skip to Navigation


hal-03068260v1  Conference papers
Ghiles ZiatOlivier MullierJulien Alexandre Dit SandrettoChristophe GarionAlexandre 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⟩