The design and regulation of exchanges: a formal approach

DOI10.4230/LIPICS.FSTTCS.2022.39MaRDI QIDQ6604656FDO

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)