Static analysis: A brief survey

  1. Garcia-Ferreira, I.
  2. Laorden, C.
  3. Santos, I.
  4. Bringas, P.G.
Aldizkaria:
Logic Journal of the IGPL

ISSN: 1368-9894 1367-0751

Argitalpen urtea: 2016

Alea: 24

Zenbakia: 6

Orrialdeak: 871-882

Mota: Artikulua

DOI: 10.1093/JIGPAL/JZW042 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak