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, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.
Tales.dk
DKK 593.95