Organizational Unit:
Undergraduate Research Opportunities Program
Permanent Link
Research Organization Registry ID
Description
Previous Names
Parent Organization
Parent Organization
Includes Organization(s)
ArchiveSpace Name Record
Publication Search Results
Simplifier for Quantifier-Free Linear Arithmetical Expressions As a Means for Optimizing Automated Proofs of Partial Program Equivalence
Finding Kernels in Non-Linear Data-Driven CHC Solving
Program Analysis: An Exploration Of Relational Verification