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 - ENS Paris, Inria Paris-Rocquencourt
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01095535
Contributor : Xavier Rival Connect in order to contact the contributor
Submitted on : Monday, December 15, 2014 - 5:17:57 PM
Last modification on : Thursday, March 17, 2022 - 10:08:43 AM

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

63