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

Browse by Author

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

Conference Paper

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 Tue Dec 6 23:49:58 2022 IST.