TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

Christoph Lth, Haykal Tej, Kolyang, Bernd Krieg-Brckner

Browse the full FASE paper archive.