Selecting Predicates for Implications in Program Analysis
Year: 2002
Type: article
Authors: Nii Dodoo, Alan Donovan, Lee Lin, Michael D. Ernst
Institution: Massachusetts Institute of Technology
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W47804331