Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Kenneth Mcmillan 1 Xavier Rival 2
2 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Type de document :
Direction d'ouvrage, Proceedings, Dossier
VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. 〈10.1007/978-3-642-54013-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01095535
Contributeur : Xavier Rival <>
Soumis le : lundi 15 décembre 2014 - 17:17:57
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Lien texte intégral

Identifiants

Collections

Citation

Kenneth Mcmillan, Xavier Rival. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. 〈10.1007/978-3-642-54013-4〉. 〈hal-01095535〉

Partager

Métriques

Consultations de la notice

121