Tevfik Bultan

Graduation Year: 
1998
Dissertation: 
Automated Static Analysis with Composite Symbolic Models