Línies d'investigació

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