Item Details

Decision Procedures for String Constraints

Hooimeijer, Pieter
Format
Thesis/Dissertation; Online
Author
Hooimeijer, Pieter
Advisor
Weimer, Westley
Language
English
Date Received
20120503
Published
University of Virginia, Department of Computer Science, PHD (Doctor of Philosophy), 2012
Published Date
2012-04-27
Degree
PHD (Doctor of Philosophy)
Collection
Libra ETD Repository
Logo for In CopyrightIn Copyright

Availability

Read Online