Browse by IISc Authors

Group by: Item Type | No Grouping

Number of items: 1.

Chawla, G and Aman, N and Komondoor, R and Bokil, A and Kharat, N (2022) Verification of ORM-based Controllers by Summary Inference. In: 44th ACM/IEEE International Conference on Software Engineering, ICSE 2022, 22 - 27 May 2022, Pittsburgh, pp. 2340-2351.

This list was generated on Sat Dec 21 19:31:56 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