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