%0 Conference Paper %1 conf/gpce/HammerCH16 %A Hammer, Matthew A. %A Chang, Bor-Yuh Evan %A Horn, David Van %B GPCE %D 2016 %E Fischer, Bernd %E Schaefer, Ina %I ACM %K dblp %P 190-201 %T A vision for online verification-validation. %U http://dblp.uni-trier.de/db/conf/gpce/gpce2016.html#HammerCH16 %@ 978-1-4503-4446-3

@inproceedings{conf/gpce/HammerCH16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hammer, Matthew A. and Chang, Bor-Yuh Evan and Horn, David Van}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/204258c999e37ee44b0c1293f4cd6d99b/dblp}, booktitle = {GPCE}, crossref = {conf/gpce/2016}, editor = {Fischer, Bernd and Schaefer, Ina}, ee = {https://doi.org/10.1145/2993236.2993255}, interhash = {b28283bdcb867c1a78ec4baab89addfd}, intrahash = {04258c999e37ee44b0c1293f4cd6d99b}, isbn = {978-1-4503-4446-3}, keywords = {dblp}, pages = {190-201}, publisher = {ACM}, timestamp = {2019-09-27T15:15:24.000+0200}, title = {A vision for online verification-validation.}, url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2016.html#HammerCH16}, year = 2016 }