Search

You searched for: Auteur D'Souza, Deepak Remove constraint Auteur: D'Souza, Deepak
1 - 2 of 2
Number of results to display per page

Search Results

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
D'Souza; D'Souza, Deepak; Narayan Kumar, K.
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
D'Souza; D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Publisher:
Springer Berlin Heidelberg 2015
Format:
e-book