NUNES, Isabel Dillmann; 						SCHIEL, Ulrich.
 Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado . <em>In</em>: WORKSHOP DE DESAFIOS DA COMPUTAÇÃO APLICADA À EDUCAÇÃO (DESAFIE!), 2.	, 2013, Maceió.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 1396-1405.