ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by IISc Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference Paper

Sumanth Prabhu, S and DâSouza, D and Chakraborty, S and Venkatesh, R and Fedyukovich, G (2024) Weakest Precondition Inference for Non-Deterministic Linear Array Programs. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, 6 April 2024 - 11 April 2024, Luxembourg City, pp. 175-195.

Haque, I and DâSouza, D and Habeeb, P and Kundu, A and Babu, G (2020) Verification of a Generative Separation Kernel. In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, 19-23 October 2020, Hanoi; Viet Nam, pp. 305-322.

This list was generated on Sun Dec 22 06:55:30 2024 IST.