@inproceedings{NordioCalcagnoFuria13, author = {Martin Nordio and Cristiano Calcagno and Carlo Alberto Furia}, title = {{J}avanni: A Verifier for {JavaScript}}, booktitle = {Proceedings of Fundamental Approaches to Software Engineering (FASE)}, year = {2013}, pages = {231-234}, series = {LNCS}, volume = {7793}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/Javanni13.pdf} }