Alexandria Digital Research Library

Search Constraints

Start Over
You searched for: Contributor Bocic, Ivan Remove constraint Contributor: Bocic, Ivan Collection UCSB electronic theses and dissertations Remove constraint Collection: UCSB electronic theses and dissertations

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