Serna Montoya E. Métodos formales e Ingeniería de Software. Rev. virtual univ. catol. norte [Internet]. 1 de julio de 2011 [citado 21 de noviembre de 2024];1(30):158-84. Disponible en: https://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/view/62