Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk).

Jos-Luis Ruiz-Reina

Browse the full AISC paper archive.