Alexandria Digital Research Library

Search Constraints

Start Over
You searched for: Contributor Bocic, Ivan Remove constraint Contributor: Bocic, Ivan Genre Dissertations, Academic Remove constraint Genre: Dissertations, Academic 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