	Home \| About \| Browse \| Latest Additions \| Advanced Search \| Contact \| Help

Browse by Author

Group by: Item Type | No Grouping

Jump to: Book Chapter | Journal Article

Number of items: 2.

Book Chapter

Gopinathan, Madhu and Rajamani, Sriram K (2008) Runtime Monitoring of Object Invariants with Guarantee. [Book Chapter]

Journal Article

Gopinathan, Madhu and Rajamani, Sriram K (2008) Enforcing Object Protocols by Combining Static and Runtime Analysis. In: ACM Singplan Notice, 43 (10). pp. 245-260.

This list was generated on Fri Apr 26 02:28:46 2024 IST.


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