Your search returned 2 results.

Results
		No cover image available Scaling up property checking (R) by Shrawankumar [Author] \| Sanyal, Amitabha [Supervisor] \| Khedker, Uday [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Shr. Lists: Display List 03/02/2020-09/02/2020. Add to cart (remove)
		No cover image available Bidirectionality in flow-sensitive demand-driven analysis (R) by Jaiswal, Swati [Author] \| Khedker, Uday P [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 681.3 Jai. Lists: Display List 10/02/2020-16/02/2020. Add to cart (remove)

Refine your search