Author:
Sarswat Suneel,Singh Abhishek Kr
Publisher
Springer International Publishing
Reference21 articles.
1. Coq formalization. https://github.com/suneel-sarswat/auction
2. Bahr, P., Berthold, J., Elsman, M.: Certified symbolic management of financial multi-party contracts. In: Proceedings of the 20th International Conference on Functional Programming, pp. 315–327. ACM (2015)
3. Caminati, M.B., Kerber, M., Lange, C., Rowat, C.: Sound auction specification and implementation. In: Proceedings of the Sixteenth ACM Conference on Economics and Computation, pp. 547–564. ACM (2015)
4. Cervesato, I., Khan, S., Reis, G., Zunic, D.: Formalization of automated trading systems in a concurrent linear framework. In: Linearity-TLLA@FLoC. EPTCS, vol. 292, pp. 1–14 (2018)
5. Friedman, D.: The double auction market institution: a survey. Double Auct. Mark.: Inst. Theor. Evid. 14, 3–25 (1993)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献