Formal Approaches To Software Testing And Runtime Verification

First Combined International Workshops Fates 2006 And Rv 2006, Seattle, Wa, Usa, August 15-16, 2006, Revised Selected Papers » 

First Combined International Workshops Fates 2006 And Rv 2006, Seattle, Wa, Usa, August 15-16, 2006, Revised Selected Papers «