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
1
Collection
UCSB electronic theses and dissertations
1
Contributor
Bocic, Ivan
[remove]
1
Tevfik Bultan
1
University of California, Santa Barbara. Computer Science
1
Genre
Dissertations, Academic
1
Online resources
1
Date
2016
1
Academic Department
Computer Science
1
Rights
In Copyright
1
Search Constraints
Start Over
You searched for:
Contributor
Bocic, Ivan
Remove constraint Contributor: Bocic, Ivan
1
entry found
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
Data model verification via theorem proving
Format:
Text
Collection:
UCSB electronic theses and dissertations
Author:
Bocic, Ivan
Creation Date:
2016
Issued Date:
2016
