👤

Robert M. Hierons

3 books

Books by Robert M. Hierons

Software Engineering and Formal Methods
Software Engineering and Formal Methods
2013
Formal methods and testing
Formal methods and testing
2008
Using formal specifications to
Using formal specifications to enhance the software testing process
1992