Browsing by Researcher/Guide Chakraborty, Supratik
Showing results 1 to 1 of 1
Upload Date | Title | Researcher | Guide(s) |
---|---|---|---|
7-Nov-2023 | Techniques for precise and scalable verification of array programs | Pankaj, Unadkat Divyesh | Chakraborty, Supratik |