Abstract interpretation: A semantics-based tool for program analysis (1995)

Cached

Download Links

by Neil D. Jones , Flemming Nielson
Venue:In Handbook of Logic in Computer Science
Citations:93 - 14 self