Antonio Carvalho Júnior

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

1 Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio: Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electr. Notes Theor. Comput. Sci. 184: 39-61 (2007)

	2007
1		Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio: Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electr. Notes Theor. Comput. Sci. 184: 39-61 (2007)

Coauthor Index