Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Hierons, Robert M., Bowen, Jonathan P., Harman, Mark.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series: Lecture Notes in Computer Science, 4949
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-78917-8
Tags: Add Tag
No Tags, Be the first to tag this record!