BibTex format
@inproceedings{Gardner:2018:10.1145/3236950.3236974,
author = {Gardner, P},
doi = {10.1145/3236950.3236974},
publisher = {Association Company Machinery},
title = {JaVerT: JavaScript verification and testing framework},
url = {http://dx.doi.org/10.1145/3236950.3236974},
year = {2018}
}