Jonathan Hellwig, Long Qian, André Platzer. A Deductive Refinement Calculus for Differential-Algebraic Programs. In Armin Biere, Carsten Lutz, Sara Negri, editors, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II. Volume 16689 of Lecture Notes in Computer Science, pages 269-285, Springer, 2026. [doi]
Abstract is missing.