Amanote Research
Register
Sign In
Client-Specific Equivalence Checking
doi 10.1145/3238147.3238178
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Federico Mora
Yi Li
Julia Rubin
Marsha Chechik
Publisher
ACM Press