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

No queries for www.cs.ucsb.edu/~bultan