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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Hierons, Robert M., Bowen, Jonathan P., Harman, Mark.|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Lecture Notes in Computer Science,
No Tags, Be the first to tag this record!