Results for “Contributor: Bocic, Ivan / Academic Department: Computer Science” | Alexandria Digital Research Library

Start Over

You searched for: Contributor Bocic, Ivan Academic Department Computer Science

Data model verification via theorem proving

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