- Home
- Computer
- Computer Science
- Bultan, Tevfik
Computer · Computer Science
Bultan, Tevfik
Listed in the directory · updated 21 Jul 2022
About Bultan, Tevfik
Bultan, Tevfik- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.