Proceedings
Year : 2014
Xavier Rival : Connect in order to contact the contributor
https://inria.hal.science/hal-01095535
Submitted on : Monday, December 15, 2014-5:17:57 PM
Last modification on : Friday, March 24, 2023-2:52:59 PM
Cite
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. 8318, Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. ⟨10.1007/978-3-642-54013-4⟩. ⟨hal-01095535⟩
63
View
0
Download