Anais CBSoft 2012 Proceedings : CBSoft 2012, III Congresso Brasileiro de Software: Teoria e Prática, 23-28/09/2012, Natal-RN

Congresso Brasileiro de Software: Teoria e Prática (3 2012 Natal) Simpósio Brasileiro de Engenharia de Software (26 2012 Natal); Simpósio Brasileiro de Linguagens de Programação (16 2012 Natal); Simpósio Brasileiro de Métodos Formais (15 2012 Natal); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (6 2012 Natal)

Porto Alegre SBC 2012

Available at EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (CD 005.1 C76s 3. ) and other locations(GetIt)