Zoeken

U zocht naar: Auteur Arie Gurfinkel, Sanjit A. Seshia Filter Auteur: Arie Gurfinkel, Sanjit A. Seshia weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verified Software: Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A.
Uitgever:
Springer International Publishing 2016
Type:
e-book