Web Directory

    Top: Computers: Computer_Science: People: B:

 

Bultan, Tevfik

  Link Details for: Bultan, Tevfik
Link Title: Bultan, Tevfik Open in a new window
Link URL: http://www.cs.ucsb.edu/~bultan/
Link Details: University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
Category: Top : Computers : Computer_Science : People : B
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Bultan, Tevfik