%0 Thesis %T Uma técnica formal para avaliação automática e geração de feedback no contexto da educação digital %U https://tede.ufam.edu.br/handle/tede/8534 %I Universidade Federal do Amazonas