Verification, Model Checking, and Abstract Interpretation - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2017

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani
  • Fonction : Auteur
  • PersonId : 840077
David Monniaux

Dates et versions

hal-01446363 , version 1 (25-01-2017)

Identifiants

Citer

Ahmed Bouajjani, David Monniaux. Verification, Model Checking, and Abstract Interpretation. Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan 2017, Paris, France. 10145, Springer, 2017, 978-3-319-52233-3. ⟨10.1007/978-3-319-52234-0⟩. ⟨hal-01446363⟩
142 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More