Proceedings/Recueil Des Communications
Année : 2014
Xavier Rival : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01095535
Soumis le : lundi 15 décembre 2014-17:17:57
Dernière modification le : vendredi 19 avril 2024-16:18:58
Citer
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⟩
64
Consultations
0
Téléchargements