Alexandria Digital Research Library

About
FAQ
Usage Guidelines
Contact
Login

Search in search for

Alexandria Digital Research Library

Limit your search

Format

Text1

Collection

UCSB electronic theses and dissertations1

Contributor

Bocic, Ivan[remove]1
Tevfik Bultan1
University of California, Santa Barbara. Computer Science1

Genre

Dissertations, Academic1
Online resources1

Date

2016[remove]1

Academic Department

Computer Science1

Rights

In Copyright1

Search Constraints

Start Over

You searched for: Contributor Bocic, Ivan Remove constraint Contributor: Bocic, Ivan Date 2016 Remove constraint Date: 2016

1 entry found

relevance
year ascending
year descending
creator ascending
creator descending

Number of results to display 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

File text

Data model verification via theorem proving

1 of 1

Copyright 2014–2024 The Regents of the University of California, All Rights Reserved.

Version master updated 08 March 2023

UC Santa Barbara Library
Santa Barbara, California 93106-9010
(805) 893-2478