Silva, Edno, 		Ogasawara, Eduardo, 		Oliveira, Daniel, 		Mattoso, Marta, AND 		Benevides, Mario.
" Formal Specification and Verification of Scientific Workflows" <em>Proceedings of the Brazilian e-Science Workshop (BreSci)</em> [Online], (20 July 2010)