Zoeken

U zocht naar: Auteur D'Souza, Deepak Filter Auteur: D'Souza, Deepak weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

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