A Vision for Online Verification-Validation Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• March 1, 2017

has restriction

• bronze

Date in CU Experts

• June 6, 2017 2:51 AM

Full Author List

• Hammer MA; Chang B-YE; Van Horn D

author count

• 3

published in

• ACM Sigplan Notices  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0362-1340

Electronic International Standard Serial Number (EISSN)

• 1558-1160

Digital Object Identifier (DOI)

• https://doi.org/10.1145/2993236.2993255

Additional Document Info

start page

• 190

end page

• 201

volume

• 52

issue

• 3