GKAT with Hoare Hypotheses.

Jurriaan Rot, Todd Schmid, Jana Wagemaker

Browse the full CONCUR paper archive.