Antonio Carvalho Júnior

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

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