Jean Melo and Paulo Borba. 2013.
 Improving Modular Reasoning on Preprocessor-Based Systems. In <em>Anais do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, setembro 29, 2013, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 11-19.