Chair of
Software Engineering
Home
People
Research
Publications
Courses
Student Projects
Events
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]
Powered by
bibtexbrowser