Formal methods and testing an outcome of the FORTEST network : revised selected papers - Hierons, Robert M.; Bowen, J. P. (Jonathan Peter), 1956-; Harman, Mark.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Includes bibliographical references and index.
Also issued online.
Keywords: Formal methods (Computer science); Computer software -- Testing