Search results for: Ana C. R. Paiva
Software Testing, Verification and Reliability > 28 > 1 > n/a - n/a
Software Quality Journal > 2018 > 26 > 4 > 1553-1570
Cluster Computing > 2017 > 20 > 1 > 633-649
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 218-233
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Tools and Technologies > 139-153
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 3 > 285-304
2010 2nd International Conference on Software Technology and Engineering > 1 > V1-202 - V1-206