TY  - BOOK
AU  - Divakaran, Sumesh
AU  - Advised by D'Souza, Deepak
TI  - Refinement- based methodology for verifying abstract data type implementations
U1  - 005.71262 P15  
PY  - 2015///
CY  - Bangalore
PB  - Indian Institute of Science
N1  - Includes CD, index and bibliographical references; PhD;2015;Computer Science and Automation
ER  -