Proceedings/Recueil Des Communications
Année : 2017
David Monniaux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01446363
Soumis le : mercredi 25 janvier 2017-19:26:46
Dernière modification le : jeudi 4 avril 2024-21:35:56
Citer
Ahmed Bouajjani, David Monniaux. Verification, Model Checking, and Abstract Interpretation. Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan 2017, Paris, France. 10145, Springer, 2017, 978-3-319-52233-3. ⟨10.1007/978-3-319-52234-0⟩. ⟨hal-01446363⟩
142
Consultations
0
Téléchargements