A logic-based approach to program flow analysis

Publisher Website
Google Scholar
Abstract
No abstract available