Uniform Substitution for Differential Refinement Logic.

Enguerrand Prebet, Andr Platzer

Browse the full IJCAR paper archive.