Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and ...

The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...

This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WS...