Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Any de publicació: 2014
Volum: 15
Número: 4
Tipus: Article
ISSN: 1557-945X, 1529-3785
Any de publicació: 2014
Volum: 15
Número: 4
Tipus: Article