@booklet {SousaCb:06,
	title = {Um visualizador de tra{\c c}os de comportamento para a ferramenta IVY},
	number = {IVY-TR-5-03},
	year = {2006},
	month = {October},
	publisher = {HASLab/INESC TEC \& University of Minho},
	type = {IVY Technical Report},
	abstract = {<p>This report describes the development of a component (Trace Visualiser) for a modular tool named IVY (Interactors VerYfier).</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/ivy-tr-5-03.pdf},
	author = {N. Sousa and Jos{\'e} Creissac Campos}
}