Formal Verification of Financial Algorithms.

Grant Olney Passmore, Denis Ignatovich

Browse the full CADE paper archive.