Alexandria Digital Research Library

Search Constraints

Start Over
You searched for: Contributor Bocic, Ivan Remove constraint Contributor: Bocic, Ivan Contributor Tevfik Bultan Remove constraint Contributor: Tevfik Bultan Collection UCSB electronic theses and dissertations Remove constraint Collection: UCSB electronic theses and dissertations Academic Department Computer Science Remove constraint Academic Department: Computer Science Date 2016 Remove constraint Date: 2016

Search Results

List of items deposited in Alexandria Digital Research Library that match your search criteria

  1. Data model verification via theorem proving

    Format:
    Text
    Collection:
    UCSB electronic theses and dissertations
    Author:
    Bocic, Ivan
    Creation Date:
    2016
    Issued Date:
    2016