Torben Amtoft, Anindya Banerjee
Information Flow Analysis in Logical Form
SAS, 2004.
@inproceedings{SAS-2004-AmtoftB, author = "Torben Amtoft and Anindya Banerjee", booktitle = "{Proceedings of the 11th International Static Analysis Symposium}", doi = "10.1007/978-3-540-27864-1_10", isbn = "3-540-22791-1", pages = "100--115", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Information Flow Analysis in Logical Form}", volume = 3148, year = 2004, }