Cristiano Gurgel de Castro

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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