Alexandria Digital Research Library

Limit your search

–

Current results range from 2014 to 2016

View distribution

Search Constraints

Start Over
You searched for: Contributor Tevfik Bultan Remove constraint Contributor: Tevfik Bultan Contributor University of California, Santa Barbara. Computer Science Remove constraint Contributor: University of California, Santa Barbara. Computer Science Academic Department Computer Science Remove constraint Academic Department: Computer Science Genre Online resources Remove constraint Genre: Online resources

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

  2. 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

  3. 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