A Vision for Online Verification-Validation
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}, }