1.
Salazar Osorio HG, Rengifo Romero HJ, Machuca Villegas LE, Aranda Bueno JA. Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™. rev.digit.educ.ing [Internet]. 15 de diciembre de 2012 [citado 28 de marzo de 2024];7(14):82-91. Disponible en: https://educacioneningenieria.org/index.php/edi/article/view/230