Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
2 open access dissertations and theses found for:
ad(Bultan, Tevfik)  »   Refine Search
1.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
2.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
1 - 2 of 2 displayed.
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest