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

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

ISSN: 0304-3975

Argitalpen urtea: 2013

Alea: 503

Orrialdeak: 115

Mota: Hutsen zuzenketa

DOI: 10.1016/J.TCS.2013.07.032 GOOGLE SCHOLAR lock_openSarbide irekia editor

Objetivos de desarrollo sostenible

Datuen iturria: Scopus