Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.

Marvin Brieger, Stefan Mitsch, Andr Platzer

Browse the full CADE paper archive.