book

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Ahmed Bouajjani, David Monniaux Published in 2017

Reference details