Record Nr.

UNISA990001773930203316

Autore

International SPIN workshop on model checking of software <10. ; 2003 ; Portland>

Titolo

Model checking software : 10. International SPIN workshop : Portland, Or, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-40117-2

Descrizione fisica

VIII, 239 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2648

Collocazione

001 LNCS 2648

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia