Search results for: Ellen Francine Barbosa
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer > 503-518
IEEE Revista Iberoamericana de Tecnologias del Aprendizaje > 2015 > 10 > 4 > 234 - 241
IEEE Latin America Transactions > 2015 > 13 > 3 > 863 - 869