Static Analysis: 13th International Symposium, SAS 2006, ...
Preview
... Ganesan Ramalingam Radu Rugina Harald Søndergaard Zhendong Su
Reinhard Wilhelm Steering Committee Patrick Cousot Giberto Filé David Schmidt
External Referees Stefan Andrei Roberto Bagnara Joerg Bauer Josh Berdine
Julien ...