UCSB Programming Languages Lab
Research
Publications
CV
Ben Hardekopf
Professor, UC Santa Barbara Computer Science Department
Follow
Email
String Abstractions for String Verification
Previous
Next
