Search results for: Patrícia D. L. Machado
Journal of the Brazilian Computer Society > 2019 > 25 > 1 > 1-22
Software Quality Journal > 2018 > 26 > 4 > 1451-1482
Software Testing, Verification and Reliability > 26 > 5 > 402 - 426
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Other Topics > 459-476
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 506-518
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 502-518
Software Quality Journal > 2015 > 23 > 1 > 3-28
Software & Systems Modeling > 2014 > 13 > 3 > 1141-1165
Formal Aspects of Computing > 2012 > 24 > 3 > 331-353
Software Testing, Verification and Reliability > 21 > 2 > 75 - 100