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