Amanote Research
Register
Sign In
A Vision for Online Verification-Validation
doi 10.1145/2993236.2993255
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Matthew A. Hammer
Bor-Yuh Evan Chang
David Van Horn
Publisher
ACM Press