✦ LIBER ✦

[IEEE 2011 25th Brazilian Symposium on Software Engineering (SBES) - Sao Paulo, Brazil (2011.09.28-2011.09.30)] 2011 25th Brazilian Symposium on Software Engineering - Formal Methods at SBES: Evolution and Perspectives

✍ Scribed by Nunes, Daltro Jose; Moreira, Alvaro; Ribeiro, Leila

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 25th Brazilian Symposium on S

✍ Vergilio, Silvia Regina; Colanzi, Thelma Elita; Pozo, Aurora Trinidad Ramirez; A 📂 Article 📅 2011 🏛 IEEE ⚖ 404 KB

[IEEE 2011 25th Brazilian Symposium on S

✍ Paiva, Debora Maria Barroso; Eleuterio, Jane Dirce A. Sandim; Turine, Marcelo Au 📂 Article 📅 2011 🏛 IEEE ⚖ 292 KB

[IEEE 2012 26th Brazilian Symposium on S

✍ Aleixo, Fellipe A.; Freire, Marilia; Alencar, Daniel; Campos, Edmilson; Kulesza, 📂 Article 📅 2012 🏛 IEEE ⚖ 898 KB

[IEEE 2012 26th Brazilian Symposium on S

✍ Gottardi, Thiago; Durelli, Rafael Serapilha; Lopez, Oscar Pastor; Camargo, Valte 📂 Article 📅 2012 🏛 IEEE ⚖ 334 KB

[IEEE 2010 Brazilian Symposium on Softwa

✍ Meirelles, Paulo; Santos Jr., Carlos; Miranda, Joao; Kon, Fabio; Terceiro, Anton 📂 Article 📅 2010 🏛 IEEE ⚖ 326 KB