Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating ...

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms...

This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spri...

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposiu...

This book constitutes the thoroughly refereed conference proceedings of the 6th International Con...