A Bilingual Theorem Prover for Evaluating HPC Systems.

Ralph Butler, Chrisila C. Pettey

Browse the full PDPTA paper archive.