A survey on static analysis and model checking

  1. Garcí A-Ferreira, I.
  2. Laorden, C.
  3. Santos, I.
  4. Bringas, P.G.A.
Liburu bilduma:
Advances in Intelligent Systems and Computing

ISSN: 2194-5357

ISBN: 9783319079943

Argitalpen urtea: 2014

Alea: 299

Orrialdeak: 443-452

Mota: Biltzar ekarpena

DOI: 10.1007/978-3-319-07995-0_44 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus