Static Analysis [Risorsa elettronica] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540319719
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3672