| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering) | 978-3-54O-49699-1 (3-54O-49699-8) | 2007 |
E.H. · K. H. · Klaus Havelund