Rohit Chadha, Umang Mathur, Stefan Schwoon. Computing Information Flow Using Symbolic Model-Checking. In Venkatesh Raman, S. P. Suresh, editors, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India. Volume 29 of LIPIcs, pages 505-516, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.