Erratum: Reachability-based acyclicity analysis by abstract interpretation (Theoretical Computer Science (2013) 474 (60-79))

  1. Genaim, S.
  2. Zanardini, D.
Journal:
Theoretical Computer Science

ISSN: 0304-3975

Year of publication: 2013

Volume: 503

Pages: 115

Type: Erratum

DOI: 10.1016/J.TCS.2013.07.032 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus