Alexandria Digital Research Library

Limit your search

Search Constraints

Start Over
You searched for: Contributor AYDIN, Abdulbaki Remove constraint Contributor: AYDIN, Abdulbaki Contributor University of California, Santa Barbara. Computer Science Remove constraint Contributor: University of California, Santa Barbara. Computer Science

Search Results

List of items deposited in Alexandria Digital Research Library that match your search criteria

  1. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis

    Format:
    Text
    Collection:
    UCSB electronic theses and dissertations
    Author:
    AYDIN, Abdulbaki
    Creation Date:
    2017
    Issued Date:
    2017