1.
Record Nr.
UNINA990009249490403321
Titolo
Static Analysis [Risorsa elettronica] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540740612
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4634
Lingua di pubblicazione
Inglese
Formato
Risorsa elettronica
Livello bibliografico
Monografia