Torben Amtoft, Anindya Banerjee. A logic for information flow analysis with an application to forward slicing of simple imperative programs. Science of Computer Programming, 64(1):3-28, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.