Pito LC, Gaviria RJ, Mage PA, Hurtado JA. Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca. Rev. colomb. comput. [Internet]. 1 de diciembre de 2012 [citado 18 de mayo de 2024];13(2):94-123. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/2127