Search

You searched for: Auteur Vizel, Yakir Remove constraint Auteur: Vizel, Yakir
1 - 3 of 3
Number of results to display per page

Search Results

1. Computer Aided Verification
thumbnail
Full text!
Author:
Shoham, Sharon; Vizel, Yakir
Publisher:
Springer International Publishing 2022
Format:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Author:
Shoham, Sharon; Vizel, Yakir
Publisher:
Springer International Publishing 2022
Format:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Fritz Henglein; Shoham, Sharon; Vizel, Yakir
Publisher:
Springer International Publishing 2021
Format:
e-book