Static Analysis: 15th International Symposium, SAS 2008, ...
Preview
Gianluca Amato Puri Arenas Demis Ballis Maria Garcia de la Banda Andrea
Baruzzo Joerg Bauer Hubert Baumeister Ralph Becket Thomas Bolander Rafael
Caballero Manuel Carro Swarat Chaudhuri Henning Christiansen Robert Clariso
...