RV
International Conference on Runtime Verification
-
2006
RV 2006
- 15-16 August
- Seattle, WA, USA
-
Formal Approaches to Software Testing and Runtime Verification
16 Papers
1 Volume