47397752
9783319522333
Bouajjani, Ahmed is the author of 'Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Lecture Notes in Computer Science)', published 2017 under ISBN 9783319522333 and ISBN 3319522337.
[read more]