SALAZAR OSORIO, Holmes Giovanny; RENGIFO ROMERO, Harvin Jessid; MACHUCA VILLEGAS, Liliana Esther; ARANDA BUENO, Jesús Alexander. Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™. Revista Educación en Ingeniería, [S. l.], v. 7, n. 14, p. 82–91, 2012. DOI: 10.26507/rei.v7n14.230. Disponível em: https://educacioneningenieria.org/index.php/edi/article/view/230. Acesso em: 23 abr. 2024.