Formally Verified Trades in Financial Markets.

Suneel Sarswat, Abhishek Kr Singh

Browse the full ICFEM paper archive.