Results for “Contributor: Bocic, Ivan / Genre: Dissertations, Academic” | Alexandria Digital Research Library

Start Over

You searched for: Contributor Bocic, Ivan Genre Dissertations, Academic

Data model verification via theorem proving

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