Skip to search
Skip to main content
About Us
Vision
Our Story
Technology
Focus Areas
Our Team
Access
Policies
Guides
Events
COVID-19 Advisory
Collections
Books & Journals
A-Z listing
Special Collections
Contact Us
Jio Institute Digital Library
Exhibits
Exhibits
Search
search for
Search
Search
Home
Browse
About
Home
Browse
Image
Showing Image
64 items
1
entry found
Number of results to display per page
per page
12
per page
24
per page
48
per page
96
per page
View results as:
List
List
Gallery
Gallery
Masonry
Masonry
Slideshow
Slideshow
×
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
1 of 1
previous image
next image
Pause Slideshow
Start Slideshow
