Alessandro Cavalcante Gurgel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira: Tool Support for the CircusRefinement Calculus. ABZ 2008: 349

1 M. Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro: CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290

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

Coauthor Index

1	Cristiano Gurgel de Castro	[1] [2]
2	M. Oliveira	[1]
3	Marcel Vinicius Medeiros Oliveira	[2]