An Architecture for Interactive Program Provers.

Jrg Meyer, Arnd Poetzsch-Heffter

Browse the full TACAS paper archive.