Static Analysis: Third International Symposium, SAS '96 Aachen, Germany

Author

Radhia Cousot, David A. Schmidt

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1145

ISBN

9783540706748