Portability and robustness verification of code using abstract interpretation by Shiv Kumar; supervised by Rajarshi Pal
Shiv Kumar| Call Number | PR001.5 Sh69P |
| Author | Shiv Kumar |
| Title | Portability and robustness verification of code using abstract interpretation by Shiv Kumar; supervised by Rajarshi Pal |
| Publication | Hyderabad: University of Hyderabad, 2014. |
| Physical Description | 40p. |
| Notes | Project Report (M.Tech.) - Information Technology - School of MCIS, University of Hyderabad, Hyderabad |
| Added Author | Pal, Rajarshi; Supervisor |
| Subject | INFORMATION TECHNOLOGY - PROJECT REPORT |
Total Ratings:
0
00784nam a2200205 a 4500
001
vtls001579488
003
VRT
005
20190101101800.0
008
190101 m 000 0 eng d
039
9
$y 201901011018 $z thirupathi
082
$a PR001.5 $b Sh69P
100
1
$a Shiv Kumar
245
1
$a Portability and robustness verification of code using abstract interpretation $c by Shiv Kumar; supervised by Rajarshi Pal
260
$a Hyderabad: $b University of Hyderabad, $c 2014.
300
$a 40p.
500
$a Project Report (M.Tech.) - Information Technology - School of MCIS, University of Hyderabad, Hyderabad
650
0
$a INFORMATION TECHNOLOGY - PROJECT REPORT
700
$a Pal, Rajarshi; Supervisor
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*7000*9992
No Reviews to Display
| Notes | Project Report (M.Tech.) - Information Technology - School of MCIS, University of Hyderabad, Hyderabad |
| Subject | INFORMATION TECHNOLOGY - PROJECT REPORT |