Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics (2006)

Cached

Download Links

by Antoine Miné
Citations:37 - 9 self