Cited By
View all- Žunić D(2023)A verifiable model of a minimal market operating sequentially, with price and time discreteJournal of Computer and Forensic Sciences10.5937/jcfs2-443622:1(7-17)Online publication date: 2023
- Arusoaie A(2021)Certifying Findel derivatives for blockchainJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100665121(100665)Online publication date: Jun-2021
- Do BNguyen QNguyen TNguyen TDao TNguyen B(2020)BML: A Data Mapping Language for Blockchain Platforms2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)10.1109/TrustCom50675.2020.00174(1297-1303)Online publication date: Dec-2020
- Show More Cited By