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

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

ISSN: 0304-3975

Datum der Publikation: 2013

Ausgabe: 503

Seiten: 115

Art: Erratum

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

Objetivos de desarrollo sostenible

Datenquelle: Scopus