Browse by Author

Group by: Item Type | No Grouping

Number of items: 1.

Conference Paper

Sumanth Prabhu, S and Fedyukovich, G and Dâ��Souza, D (2024) Maximal Quantified Precondition Synthesis for Linear Array Loops. In: UNSPECIFIED, pp. 245-274.

This list was generated on Wed Sep 11 12:14:07 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0