Formal methods and testing：an outcome of the FORTEST network : revised selected papers

Corporate Authors: FORTEST (Network); SpringerLink (Online service)
Group Author: (Jonathan Peter), 1956-; Harman Mark, Ph.D.; Hierons Robert M.; Bowen J. P.
Published: Springer,
Publication Dates: c2008.