Nunes, I., & Schiel, U. 2013 jul 23. Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado . Anais do Workshop de Desafios da Computação aplicada à Educação (DesafIE!). [Online] :