@inproceedings{DBLP:conf/sin/KrichenLA22,
  author    = {Moez Krichen and
               Mariam Lahami and
               Qasem Abu Al{-}Haija},
  title     = {Formal Methods for the Verification of Smart Contracts: {A} Review},
  booktitle = {15th International Conference on Security of Information and Networks,
               {SIN} 2022, Sousse, Tunisia, November 11-13, 2022},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/SIN56466.2022.9970534},
  doi       = {10.1109/SIN56466.2022.9970534},
}