Milo, M, Nielsen, E H, Annenkov, D & Spitters, B 2022, Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework . in Z Dargaye & C Schneidewind (eds), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) . Schloss Dagstuhl--Leibniz-Zentrum für Informatik, OpenAccess Series in Informatics, vol. 105, 4th International Workshop on Formal Methods for Blockchains, FMBC 2022, Haifa, Israel, 11/08/2022 . https://doi.org/10.4230/OASIcs.FMBC.2022.2