Proceso y evolucion de los metodos formales en la ingenieria de requisitos/Process and evolution of formal methods in requirements engineering/Processo e evolucao dos metodos formais na engenharia de requisitos
Jiménez, Jorge Hernán Suaza ; Patiño, Gloria Amparo Lora
Revista ingenierías (Medellín, Colombia), 2020-07, Vol.19 (37), p.119Universidad de Medellin
Texto completo disponível