Navegando por Assunto CafeOBJ
Mostrando resultados 1 a 2 de 2
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2004 | Implementando uma estratégia de redução para o contexto de Sistemas Embarcados usando CafeOBJ | Silva, André Luís Meneses; Menezes, Manoel Messias; Silva, Leila | Trabalhos em Eventos |
| 2007 | Using CafeOBJ to mechanise refactoring proofs and application | Carvalho Júnior, Antonio; Silva, Leila; Cornélio, Márcio | Artigo |