Serna M., E., & Serna A., A. (2017). Power and limitations of formal methods for software fabrication: Thirty years later. Informatica, 41(3). Retrieved from https://puffbird.ijs.si/index.php/informatica/article/view/1534