| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings | 978-3-319-68166-5 (3-319-68166-4) | 2017 | Deepak D'Souza · K. Narayan Kumar |
| Modern Applications of Automata Theory | 978-981-4271-04-2 (981-4271-04-7) | 2012 | Priti Shankar · Deepak D'Souza |
| Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | 978-3-662-46080-1 (3-662-46080-7) | 2015 | Deepak D'Souza · Akash Lal · Kim Guldstrand Larsen |
D D · D. D Souza · D S · Deepak Cyril D'Souza · Deepak D’souza