Differential Refinement Logic.

Sarah M. Loos, Andr Platzer

Browse the full LICS paper archive.