Reachability-based acyclicity analysis by Abstract Interpretation
- Genaim, S.
- Zanardini, D.
Revista:
Theoretical Computer Science
ISSN: 0304-3975
Ano de publicación: 2013
Volume: 474
Páxinas: 60-79
Tipo: Artigo