A Uniform Substitution Calculus for Differential Dynamic Logic.

Andr Platzer

Browse the full CADE paper archive.