Cristiano Gurgel de Castro

2008
2	EE	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira: Tool Support for the CircusRefinement Calculus. ABZ 2008: 349
1	EE	M. Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro: CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290

Coauthor Index

1	Alessandro Cavalcante Gurgel	[1] [2]
2	M. Oliveira	[1]
3	Marcel Vinicius Medeiros Oliveira	[2]