The design and regulation of exchanges: a formal approach

DOI10.4230/LIPICS.FSTTCS.2022.39MaRDI QIDQ6604656FDOQ6604656

Authors: Mohit Garg 

Publication date: 12 September 2024

zbMATH Keywords

financial marketsdouble auctionsformal specification and verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: The design and regulation of exchanges: a formal approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6604656)