Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Bouajjani, Ahmed; Monniaux, David
Springer International Publishing AG
01/2017
560
Mole
Inglês
9783319522333
15 a 20 dias
8657