Search results for: Robert M. Hierons
Information and Computation > 2017 > 257 > C > 1-21
Software Quality Journal > 2018 > 26 > 4 > 1373-1413
Journal of Systems and Software > 2017 > 132 > C > 319-335
Distributed Computing > 2018 > 31 > 5 > 327-342
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 408-424
IEEE Transactions on Computers > 2016 > 65 > 11 > 3370 - 3383