@ARTICLE{
author={Santos Jose Fragoso,Gardner Philippa,Maksimovic Petar,Naudziuniene Daiva},
year={2017},
title={Towards Logic-Based Verification of JavaScript Programs},
journal={AUTOMATED DEDUCTION - CADE 26},
volume={10395},
number={},
pages={8-25},
document_type={Proceedings Paper},
}