Search

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

Search Results

1. String Analysis for Software Verification and Security
thumbnail
Full text!
Author:
Bultan, Tevfik; Alkhalaf, Muath; Aydin, Abdulbaki; Yu, Fang
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Web Services and Formal Methods
thumbnail
Full text!
Author:
Bravetti, Mario; Bultan, Tevfik; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
3. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Bultan, Tevfik; Hsiung, Pao-Ann; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book