Harman, Mark.
Overview
| Works: | 17 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal methods and testingan outcome of the FORTEST network : revised selected papers /
by:
Bowen, J. P. (1956-); Harman, Mark.; Hierons, Robert M.; SpringerLink (Online service)
(Electronic resources)