In this work we present the main results obtained with Lyra2.
Este trabalho foi avaliado por membros da Sociedade Brasileira de Computação (SBC), ficando entre os finalistas no 30º Concurso de Teses e Dissertações, e é um substrato da Tese de Doutorado desenvolvida na Escola Politécnica da Universidade de São Paulo (Poli-USP).
A Tese está disponível no Portal de Teses e Dissertações da USP.