Formal Approaches to Software Testing and Runtime Verification electronic resource - First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
- Författare
- Klaus. Havelund
- (Edited by Klaus Havelund,.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Verlag GmbH. | 2006 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital | 978-3-540-49703-5 |