TY  - BOOK
AU  - Raghavendra, K R.
AU  - Advised by D'Souza, Deepak
TI  - Verification of information flow properties
U1  - 005.8 P07 
PY  - 2007///
CY  - Bangalore
PB  - Indian Institute of Science
N1  - Include bibliographical references; MSc;2007;Computer Science and Automation
ER  -