Publications

Publications of Carlo Alberto Furia [rss]

	2013
	Javanni: A Verifier for JavaScript. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia, In Proceedings of Fundamental Approaches to Software Engineering (FASE), Springer, volume 7793, 2013. [pdf] [bib]