Dynamic Logic with Trace Semantics.

Bernhard Beckert, Daniel Bruns

Browse the full CADE paper archive.