Alexandria Digital Research Library

Search Constraints

Start Over
You searched for: Contributor AYDIN, Abdulbaki Remove constraint Contributor: AYDIN, Abdulbaki Collection UCSB electronic theses and dissertations Remove constraint Collection: UCSB electronic theses and dissertations

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