Results for “Contributor: Tevfik Bultan / Academic Department: Computer Science” | Alexandria Digital Research Library

Start Over

You searched for: Contributor Tevfik Bultan 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

Analysis and verification of web application data models

Format:: Text
Collection:: UCSB electronic theses and dissertations
Author:: Nijjar, Jaideep
Creation Date:: 2014
Issued Date:: 2014

Automatic Detection and Repair of Input Validation and Sanitization Bugs

Format:: Text
Collection:: UCSB electronic theses and dissertations
Author:: Alkhalaf, Muath Abdullah
Creation Date:: 2014
Issued Date:: 2014