@inproceedings{paperid:1044059,
author = {Hamid A. Toussi and Rasoolzadegan, Abbas},
title = {Flow-Sensitive Points-to Analysis for Java Programs using BDDs},
booktitle = {4th International Conference on Computer and Knowledge Engineering},
year = {2014},
location = {مشهد, IRAN},
keywords = {Software Engineering; Program Analysis; Points-to Analysis; Binary Decision Diagrams},
}