Tevfik Bultan

placeholder image for Tevfik Bultan
Graduation Year:
1998
Dissertation:
Automated Static Analysis with Composite Symbolic Models
Advisor(s):
Richard Gerber