Serna M., E. and Serna A., A. (2017) “Power and limitations of formal methods for software fabrication: Thirty years later”, Informatica, 41(3). Available at: https://puffbird.ijs.si/index.php/informatica/article/view/1534 (Accessed: 23 June 2025).