| 7 | -- | 48 | David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues. Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes |
| 49 | -- | 68 | Paulo Borba, Augusto Sampaio. Basic Laws of ROOL: an object-oriented language |
| 69 | -- | 88 | Fernando Náufel do Amaral, Edward Hermann Haeusler. A logic-based approach for real-time object-oriented software development |
| 89 | -- | 108 | Patrícia D. L. Machado. Formal testing from structured algebraic specifications: normalisationand the oracle problem |
| 109 | -- | 128 | Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro. Complexity analysis of reactive graph grammars |
| 129 | -- | 148 | Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin. Using the ACL2 Theorem Prover to Reason about VHDL Components |