Zoeken

U zocht naar: Auteur Hachtel, Gary D. Filter Auteur: Hachtel, Gary D. weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Abstraction Refinement for Large Scale Model Checking
thumbnail
Full text!
Auteur:
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Uitgever:
Springer US 2006
Type:
e-book