Formal Methods And Testing: An Outcome Of The FORTEST Network. Revised Selected Papers
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | April 8, 2008 |
| Authors | R. Hierons |
| Editors | R. Hierons |
| Jonathan Bowen | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027459 |
About 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 . . .