Robert M. Hierons

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

4

Testing of Communicating Systems

Testing of Communicating Systems

Using formal specifications to enhance the software testing process

Using formal specifications to enhance the software testing process

Formal methods and testing

Formal methods and testing

Software Engineering and Formal Methods

Software Engineering and Formal Methods