Search results for: Wilkerson L. Andrade
Journal of the Brazilian Computer Society > 2019 > 25 > 1 > 1-22
Science of Computer Programming > 2016 > 126 > C > 52-72
IEEE Transactions on Software Engineering > 2013 > 39 > 9 > 1216 - 1229
Formal Aspects of Computing > 2012 > 24 > 3 > 331-353