TY  - RPRT
TI  - Formally Verified Trades in Financial Markets
AU  - Suneel Sarswat
AU  - Abhishek Kr Singh
PY  - 2020
UR  - https://arxiv.org/abs/2007.10805
ID  - 2007.10805
ER  -