@article{journals/scp/AmtoftB07,
title = {A logic for information flow analysis with an application to forward slicing of simple imperative programs.},
author = {Torben Amtoft and Anindya Banerjee},
journal = {Sci. Comput. Program.},
number = {1},
pages = {3-28},
url = {http://dblp.uni-trier.de/db/journals/scp/scp64.html#AmtoftB07},
volume = {64},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.scico.2006.03.002}, date = {2007-03-30},
keywords = {dblp }
}
::