Deepak D'Souza

No bio available. Add one in Open Library.

Books by Deepak D'Souza (50 max)

+ shelf+ list

Modern Applications of Automata Theory

2012

Priti Shankar, Deepak D'Souza

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

2014

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

+ shelf+ list

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2017

Deepak D'Souza, K. Narayan Kumar