Search results for: Paolo Arcaini
Software Testing, Verification and Reliability > 29 > 1-2 > n/a - n/a
Information and Software Technology > 2017 > 81 > C > 52-64
Information Sciences > 2016 > 340-341 > C > 122-143
Formal Aspects of Computing > 2016 > 28 > 4 > 567-595
Software Testing, Verification and Reliability > 25 > 5-7 > 629 - 652
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 2 > 247-269
Science of Computer Programming > 2014 > 94 > Part 2 > 93-108
Software: Practice and Experience > 41 > 2 > 155 - 166