TY  - BOOK
AU  - Arora, Himanshu
AU  - Advised by Raghavan, KV
TI  - Checking observational purity of procedures
U1  - 004 P18 
PY  - 2018///
CY  - Bengalore
PB  - Indian Institute of Science
KW  - Terminology; Programming Language
N1  - Include bibliographical references; PhD;2018;Computer Science and Automation
ER  -