Guiding Program Development Systems by a Connection Based Proof Strategy.

Christoph Kreitz, Jens Otten, Stephan Schmitt

Browse the full LOPSTR paper archive.