Formally Verified Trades in Financial Markets

Suneel Sarswat, Abhishek Kr Singh. Formally Verified Trades in Financial Markets. In Shang-Wei Lin 0001, Zhe Hou, Brendan Mahoney, editors, Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Volume 12531 of Lecture Notes in Computer Science, pages 217-232, Springer, 2020. [doi]

Authors

Suneel Sarswat

This author has not been identified. Look up 'Suneel Sarswat' in Google

Abhishek Kr Singh

This author has not been identified. Look up 'Abhishek Kr Singh' in Google