A Relational View on Gotos and Dynamic Logic.

Rudolf Berghammer, Gunther Schmidt

Browse the full WG paper archive.