1.
Record Nr.
UNINA990009242170403321
Titolo
Formal Approaches to Software Testing [Risorsa elettronica] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540344551
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3997
Lingua di pubblicazione
Inglese
Formato
Risorsa elettronica
Livello bibliografico
Monografia