Item Details

Print View

Decision Procedures for String Constraints

Hooimeijer, Pieter
Format
Thesis/Dissertation; Online
Author
Hooimeijer, Pieter
Advisor
Weimer, Westley
Language
English
Published
University of Virginia, Department of Computer Science, PHD, 2012
Published Date
2012-04-27
Degree
PHD
Collection
Libra ETD Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Read Online