Distributed Verification: Exploring the Power of Raw Computing Power.

Lubos Brim

Browse the full FMICS paper archive.