Skip to content

Home Practice Lessons About

Robert M. Hierons

Books

Software Engineering and Formal Methods
Testing of Communicating Systems
Using formal specifications to enhance the software testing process
Formal methods and testing

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.