Search

You searched for: Auteur Touili, Tayssir Remove constraint Auteur: Touili, Tayssir
1 entry found
Number of results to display per page

Search Results

1. Computer Aided Verification
thumbnail
Full text!
Author:
Touili, Tayssir; Cook, Byron; Jackson, Paul; Kanade, Takeo
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book