Style de citation APA (7e éd.)

Hellwig, J., Qian, L., & Platzer, A. (2026). A Deductive Refinement Calculus for Differential-Algebraic Programs.

Style de citation Chicago (17e éd.)

Hellwig, Jonathan, Long Qian, et André Platzer. A Deductive Refinement Calculus for Differential-Algebraic Programs. 2026.

Style de citation MLA (9e éd.)

Hellwig, Jonathan, et al. A Deductive Refinement Calculus for Differential-Algebraic Programs. 2026.