Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida

First Page		Document Content
Date: 2017-09-09 06:01:35		Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 228,88 KB Share Document on Facebook