BibTex format
@inproceedings{Faustino:2017:10.1007/978-3-319-63046-5_2,
author = {Faustino, Fragoso Femenin Dos Santos J and Gardner, P and Naudziuniene, D and Maksimovic, P},
doi = {10.1007/978-3-319-63046-5_2},
pages = {8--25},
publisher = {Springer Verlag},
title = {Towards logic-based verification of javascript programs},
url = {http://dx.doi.org/10.1007/978-3-319-63046-5_2},
year = {2017}
}