Deepak D'Souza

Books by Deepak D'Souza

Total count: 4

• Modern Applications of Automata Theory

  World Scientific Publishing Co Pte Ltd2012-01-01
• Verification, Model Checking, and Abstract Interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

  Springer London, Limited2014-01-01
• 
  Automated Technology for Verification and Analysis15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

  Springer2017-10-04
• Marijuana and Madness

  Cambridge University Press2023-01-01