Skip to main content

University of California, Santa Barbara

Search

Search

Enter the terms you wish to search for.

Main navigation

Research
People
Projects
Publications
Tools

Give

Home
Publications

Publications

Dissertations and peer-reviewed papers from VLab.

Verification Laboratory

Department of Computer Science

(805) 893 5731

Fax: (805) 893 8553

Links and Resources

Policies and Disclosures

Campus Directory

Copyright © 2026 The Regents of the University of California. All Rights Reserved. Terms of Use Accessibility