1.
Record Nr.
UNINA990009252180403321
Titolo
Computer Aided Verification [Risorsa elettronica] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540733683
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4590
Lingua di pubblicazione
Inglese
Formato
Risorsa elettronica
Livello bibliografico
Monografia