Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/523649
Title: | Techniques for precise and scalable verification of array programs |
Researcher: | Pankaj, Unadkat Divyesh |
Guide(s): | Chakraborty, Supratik |
Keywords: | Engineering Engineering and Technology Engineering Multidisciplinary |
University: | Indian Institute of Technology Bombay |
Completed Date: | 2023 |
Abstract: | Abstract attached newline newline |
Pagination: | NA |
URI: | http://hdl.handle.net/10603/523649 |
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: