Deepak D'Souza profile picture

Deepak D'Souza

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings