Reference

2016
A Vision for Online Verification-Validation
GPCE 2016: ACM SIGPLAN International Conference on Generative Programming and Component Engineering

BibTeX

@string{GPCE = "ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE)"}
@inproceedings{vmf-gpce16,
  author = {Matthew A. Hammer and Bor-Yuh Evan Chang and David Van Horn},
  title = {A Vision for Online Verification-Validation},
  booktitle = GPCE,
  year = {2016},
  pages = {190-201},
  
}