Leopoldo Pauta Ayabaca, Leopoldo, and Santiago Moscoso Bernal. 2017. “Software Verification and Validation”. Killkana Técnica 1 (3): 25-32. https://doi.org/10.26871/killkana_tecnica.v1i3.112.