Theoretical Aspects of Computing – ICTAC 2019Robert Mark Hierons, Mohamed Mosbah · First published 2019Open 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
