Static Analysis
Subtitle: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
By: edited by Jens Palsberg, Zhendong Su
Contributors: Su, Zhendong; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5673
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642032363; 9783642032370
Subjects: Logic design; Computer science; Software engineering