Alessandro Cavalcante Gurgel

	2010
3		Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinicius Medeiros Oliveira, David Boris Paul Déharbe: Integrating SMT-Solvers in Z and B Tools. ASM 2010: 412-413
	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	David Déharbe (David Boris Paul Déharbe)	[3]
3	Valério Gutemberg de Medeiros	[3]
4	M. Oliveira	[1]
5	Marcel Vinicius Medeiros Oliveira	[2] [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page