Requirement-Based Cooperative Theorem Proving.

Dirk Fuchs

Browse the full JELIA paper archive.