Static Analysis [Risorsa elettronica] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642032370
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5673