Software Engineering and Formal MethodsRobert M. Hierons, Mercedes G. Merayo, Mario Bravetti · First published 2013Open the Tome
Formal methods and testingRobert M. Hierons, J. P. Bowen, Mark Harman · First published 2008Open the Tome
Formal Methods and TestingMark Harman,Jonathan P. Bowen,Robert M. Hierons · First published 2008Open the Tome
Using formal specifications to enhance the software testing processRobert M. Hierons · First published 1992Open the Tome
