Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/523649
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.coverage.spatial | Computer Science and Engineering | |
| dc.date.accessioned | 2023-11-07T04:21:10Z | - |
| dc.date.available | 2023-11-07T04:21:10Z | - |
| dc.identifier.uri | http://hdl.handle.net/10603/523649 | - |
| dc.description.abstract | Abstract attached newline newline | |
| dc.format.extent | NA | |
| dc.language | English | |
| dc.relation | NA | |
| dc.rights | university | |
| dc.title | Techniques for precise and scalable verification of array programs | |
| dc.title.alternative | Na | |
| dc.creator.researcher | Pankaj, Unadkat Divyesh | |
| dc.subject.keyword | Engineering | |
| dc.subject.keyword | Engineering and Technology | |
| dc.subject.keyword | Engineering Multidisciplinary | |
| dc.description.note | NA | |
| dc.contributor.guide | Chakraborty, Supratik | |
| dc.publisher.place | Mumbai | |
| dc.publisher.university | Indian Institute of Technology Bombay | |
| dc.publisher.institution | Department of Computer Science and Engineering | |
| dc.date.registered | 2014 | |
| dc.date.completed | 2023 | |
| dc.date.awarded | 2023 | |
| dc.format.dimensions | NA | |
| dc.format.accompanyingmaterial | DVD | |
| dc.source.university | University | |
| dc.type.degree | Ph.D. | |
| Appears in Departments: | Department of Computer Science & Engineering | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 01_title.pdf | Attached File | 504.32 kB | Adobe PDF | View/Open |
| 02_prelimpages.pdf | 1.09 MB | Adobe PDF | View/Open | |
| 03_abstract.pdf | 394.69 kB | Adobe PDF | View/Open | |
| 04_contents.pdf | 466.55 kB | Adobe PDF | View/Open | |
| 05_chapter_1.pdf | 492.67 kB | Adobe PDF | View/Open | |
| 06_chapter_2.pdf | 395.82 kB | Adobe PDF | View/Open | |
| 07_chapter_3.pdf | 508.85 kB | Adobe PDF | View/Open | |
| 08_chapter_4.pdf | 667.64 kB | Adobe PDF | View/Open | |
| 09_chapter_5.pdf | 934.3 kB | Adobe PDF | View/Open | |
| 10_chapter_6.pdf | 861.73 kB | Adobe PDF | View/Open | |
| 11_chapter_7.pdf | 939.27 kB | Adobe PDF | View/Open | |
| 12_annexure.pdf | 432.9 kB | Adobe PDF | View/Open | |
| 80_recommendation.pdf | 439.53 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: