Automated Technology for Verification and Analysis
Deepak D'Souza, K. Narayan Kumar
₹4,277
Author
Books by Deepak D'Souza
Showing 1–3 of 3 books
Marijuana and Madness
Deepak D'Souza, David Castle, Robin Murray
₹5,887
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
₹4,248