Suaza Jiménez, Jorge Hernán, y Gloria Amparo Lora Patiño. 2019. «Proceso Y evolución De Los métodos Formales En La ingeniería De Requisitos». Revista Ingenierías Universidad De Medellín 19 (37): 119-36. https://doi.org/10.22395/rium.v19n37a6.