SILVA, Edno V.; 						OGASAWARA, Eduardo; 						OLIVEIRA, Daniel de; 						MATTOSO, Marta; 						BENEVIDES, Mario R. F..
 Especificação Formal e Verificação de Workflows Científicos. <em>In</em>: BRAZILIAN E-SCIENCE WORKSHOP (BRESCI), 4.	, 2010, Belo Horizonte/MG.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 201-208. 
			ISSN 2763-8774.