Developing and Debugging Proof Strategies by Tinkering.

Yuhui Lin, Pierre Le Bras, Gudmund Grov

Browse the full TACAS paper archive.