Search results for: Hermano Moura
Software Quality Journal > 2019 > 27 > 3 > 1149-1174
Innovations in Systems and Software Engineering > 2018 > 14 > 3 > 157-181
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 477-478
Electronic Notes in Theoretical Computer Science > 2001 > 44 > 2 > 157-160