Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems
Date
Jan 17, 2019
Event
Location
Lisbon, Portugal
Links
