Reachability-based acyclicity analysis by Abstract Interpretation
- Genaim, S.
- Zanardini, D.
Revue:
Theoretical Computer Science
ISSN: 0304-3975
Année de publication: 2013
Volumen: 474
Pages: 60-79
Type: Article