Formal methods and testing
by Robert M. Hierons, J. P. Bowen, Mark Harman
Formal methods (Computer science)TestingComputer softwareSystem designComputer software, testing
Writing a summary for young readers…
For young readers
Book data: Open Library
by Robert M. Hierons, J. P. Bowen, Mark Harman
Book data: Open Library