Reachability-based acyclicity analysis by Abstract Interpretation
- Genaim, S.
- Zanardini, D.
Zeitschrift:
Theoretical Computer Science
ISSN: 0304-3975
Datum der Publikation: 2013
Ausgabe: 474
Seiten: 60-79
Art: Artikel