Uniform Substitution for Differential Game Logic.

Andr Platzer

Browse the full CADE paper archive.