Serna M., E., & Morales V., D. (2015). Estado del arte de la investigación en verificación formal. Ingeniería Investigación Y Tecnología, 15(4). Recuperado a partir de https://revistas.unam.mx/index.php/ingenieria/article/view/45919