Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01095535
Contributor : Xavier Rival <>
Submitted on : Monday, December 15, 2014 - 5:17:57 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

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⟩

Share

Metrics

Record views

152