Alexandria Digital Research Library
About
FAQ
Usage Guidelines
Contact
Login
Search in
All Fields
Title
Subject
Accession Number
search for
Search
Alexandria Digital Research Library
Toggle facets
Limit your search
Format
Text
3
Collection
UCSB electronic theses and dissertations
3
Contributor
Tevfik Bultan
[remove]
3
University of California, Santa Barbara. Computer Science
3
Alkhalaf, Muath Abdullah
1
Bocic, Ivan
1
Nijjar, Jaideep
1
Genre
Dissertations, Academic
3
Online resources
3
Date
Date range begin
–
Date range end
Current results range from
2014
to
2016
View distribution
Academic Department
Computer Science
3
Rights
In Copyright
[remove]
3
Search Constraints
Start Over
You searched for:
Contributor
Tevfik Bultan
Remove constraint Contributor: Tevfik Bultan
Rights
In Copyright
Remove constraint Rights: In Copyright
1
-
3
of
3
Sort by relevance
relevance
year ascending
year descending
creator ascending
creator descending
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Slideshow
Search Results
Select an image to start the slideshow
Data model verification via theorem proving
1 of 3
Analysis and verification of web application data models
2 of 3
Automatic Detection and Repair of Input Validation and Sanitization Bugs
3 of 3