TY  - RPRT
TI  - Double Auctions: Formalization and Automated Checkers
AU  - Mohit Garg
AU  - N. Raja
AU  - Suneel Sarswat
AU  - Abhishek Kr Singh
PY  - 2024
UR  - https://arxiv.org/abs/2410.18751
ID  - 2410.18751
ER  -