Generation of efficient interprocedural analyzers with PAG (1995)

Cached

Download Links

by Martin Alt , Florian Martin
Venue:In Proceedings of the Second INternational Symposium on Static Analysis
Citations:48 - 7 self