Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Year of publication: 2014
Volume: 15
Issue: 4
Type: Article
ISSN: 1557-945X, 1529-3785
Year of publication: 2014
Volume: 15
Issue: 4
Type: Article