Published in: LIPIcs, Volume 193, 12th International Conference on Interactive Theorem Proving (ITP 2021)
Raja Natarajan, Suneel Sarswat, and Abhishek Kr Singh. Verified Double Sided Auctions for Financial Markets. In 12th International Conference on Interactive Theorem Proving (ITP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 193, pp. 28:1-28:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{natarajan_et_al:LIPIcs.ITP.2021.28, author = {Natarajan, Raja and Sarswat, Suneel and Singh, Abhishek Kr}, title = {{Verified Double Sided Auctions for Financial Markets}}, booktitle = {12th International Conference on Interactive Theorem Proving (ITP 2021)}, pages = {28:1--28:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-188-7}, ISSN = {1868-8969}, year = {2021}, volume = {193}, editor = {Cohen, Liron and Kaliszyk, Cezary}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2021.28}, URN = {urn:nbn:de:0030-drops-139230}, doi = {10.4230/LIPIcs.ITP.2021.28}, annote = {Keywords: Double Sided Auction, Formal Verification, Financial Markets, Proof Assistant} }
Feedback for Dagstuhl Publishing