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
Klaus Havelund ... [et al.] (eds.)
Bok Engelsk 2006 FATES 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | VIII, 253 s. : ill.
|
| Emner | |
| ISBN | 3540496998. - 9783540496991
|
