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]
@inproceedings{SarswatS20, title = {Formally Verified Trades in Financial Markets}, author = {Suneel Sarswat and Abhishek Kr Singh}, year = {2020}, doi = {10.1007/978-3-030-63406-3_13}, url = {https://doi.org/10.1007/978-3-030-63406-3_13}, researchr = {https://researchr.org/publication/SarswatS20}, cites = {0}, citedby = {0}, pages = {217-232}, booktitle = {Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings}, editor = {Shang-Wei Lin 0001 and Zhe Hou and Brendan Mahoney}, volume = {12531}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-63406-3}, }