TY  - RPRT
TI  - Formal verification of trading in financial markets
AU  - Suneel Sarswat
AU  - Abhishek Kr Singh
PY  - 2019
UR  - https://arxiv.org/abs/1907.07885
ID  - 1907.07885
ER  -