Author

Robert M. Hierons

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
Formal methods and testing

Formal methods and testing

Year unknown J. P. Bowen, Mark Harman, and Robert M. Hierons
Software Engineering and Formal Methods

Software Engineering and Formal Methods

Year unknown Robert M. Hierons, Mercedes G. Merayo, and Mario Bravetti
Testing of Communicating Systems

Testing of Communicating Systems

Year unknown Roland Groz and Robert M. Hierons
Using formal specifications to en...

Using formal specifications to enhance the software testing process

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.