@inproceedings{FerraraFuchsJuhasz12,
 author = {P. Ferrara and R. Fuchs and U. Juhasz},
 title = {TVAL+ : TVLA and Value Analyses Together},
 booktitle = {Software Engineering and Formal Methods (SEFM)},
 editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe},
 year = {2012},
 publisher = {Springer-Verlag},
 series = {Lecture Notes in Computer Science},
 isbn = {978-3-642-33825-0},
 volume = {7504},
 doi = {10.1007/978-3-642-33826-7_5},
 pages = {63-77}
}