Bultan, Tevfik

Details of Bultan, Tevfik

Bultan, Tevfik- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

Projects