P. V. R. Murthy. Reliability by Construction using Design by Contract Methodology. In Santonu Sarkar, Ashish Sureka, Domenico Cotroneo, Nishant Sinha, Vibha Singhal Sinha, Radhika Venkatasubramanyam, Padmaja Joshi, R. D. Naik, Pushpendra Singh, JayPrakash Lalchandani, editors, Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016. pages 201-202, ACM, 2016. [doi]
Abstract is missing.