Automated Technology for Verification and AnalysisDeepak D'Souza, K. Narayan Kumar · First published 2017Open the Tome
Verification, Model Checking, and Abstract InterpretationDeepak D'Souza, Akash Lal, Kim Guldstrand Larsen · First published 2014Open the Tome
Modern Applications of Automata TheoryPriti Shankar, Deepak D'Souza · First published 2012Open the Tome
The British empire and the natural worldDeepak Kumar, Vinita Damodaran, Rohan D'Souza · First published 2011Open the Tome
Marijuana and MadnessDavid Castle, Robin M. Murray, Deepak Cyril D'Souza · First published 2004Open the Tome
