Líneas de investigación

  • Programación; Métodos formales de desarrollo de software; Verificación; Testing