Antônio Carlos Lima de Santana

	2003
3		Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana: A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6(1): (2003)
	1999
2		Antônio Carlos Lima de Santana, Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna: Automatic Implementation of Distributed Systems Formal Specifications. PDPTA 1999: 1424-1429
	1998
1		Antônio Carlos Lima de Santana, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna: Automatic Refinement of Distributed Systems Specifications Using Program Transformations. COMPSAC 1998: 154-163

Coauthor Index

1	Luiz Henrique Castelo Branco	[2]
2	Antônio Francisco do Prado	[1] [2]
3	Marcelo Sant'Anna	[1] [2]
4	Adenilso da Silva Simão	[3]
5	Wanderley Lopes de Souza	[1] [2]
6	Auri Marcelo Rizzo Vincenzi	[3]

Colors in the list of coauthors