Reliability by Construction using Design by Contract Methodology. Murthy, P. V. R. In Sarkar, S., Sureka, A., Cotroneo, D., Sinha, N., Sinha, V. S., Venkatasubramanyam, R., Joshi, P., Naik, R. D., Singh, P., & Lalchandani, J., editors, ISEC, pages 201-202, 2016. ACM.
Reliability by Construction using Design by Contract Methodology. [link]Link  Reliability by Construction using Design by Contract Methodology. [link]Paper  bibtex   
@inproceedings{conf/indiaSE/Murthy16a,
  added-at = {2016-01-31T00:00:00.000+0100},
  author = {Murthy, P. V. R.},
  biburl = {http://www.bibsonomy.org/bibtex/2745c1714a6f5fd9d82dbd02c618a2c71/dblp},
  booktitle = {ISEC},
  crossref = {conf/indiaSE/2016},
  editor = {Sarkar, Santonu and Sureka, Ashish and Cotroneo, Domenico and Sinha, Nishant and Sinha, Vibha Singhal and Venkatasubramanyam, Radhika and Joshi, Padmaja and Naik, R. D. and Singh, Pushpendra and Lalchandani, JayPrakash},
  ee = {http://doi.acm.org/10.1145/2856636.2856663},
  interhash = {c868cf40e868668a8ecbe6f5e8d3a5e8},
  intrahash = {745c1714a6f5fd9d82dbd02c618a2c71},
  isbn = {978-1-4503-4018-2},
  keywords = {dblp},
  pages = {201-202},
  publisher = {ACM},
  timestamp = {2016-02-02T11:35:17.000+0100},
  title = {Reliability by Construction using Design by Contract Methodology.},
  url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#Murthy16a},
  year = 2016
}
Downloads: 0