Software Correctness in Object Oriented Languages: Key Concepts and Comparison

Lady Baquero, Jose Garrido. Software Correctness in Object Oriented Languages: Key Concepts and Comparison. In Hamid R. Arabnia, Ray R. Hashemi, Gregory Vert, Anitha Chennamaneni, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Information & Knowledge Engineering, IKE 2010, July 12-15, 2010, Las Vegas Nevada, USA. pages 478-483, CSREA Press, 2010.

@inproceedings{BaqueroG10,
  title = {Software Correctness in Object Oriented Languages: Key Concepts and Comparison},
  author = {Lady Baquero and Jose Garrido},
  year = {2010},
  researchr = {https://researchr.org/publication/BaqueroG10},
  cites = {0},
  citedby = {0},
  pages = {478-483},
  booktitle = {Proceedings of the 2010 International Conference on Information & Knowledge Engineering, IKE 2010, July 12-15, 2010, Las Vegas Nevada, USA},
  editor = {Hamid R. Arabnia and Ray R. Hashemi and Gregory Vert and Anitha Chennamaneni and Ashu M. G. Solo},
  publisher = {CSREA Press},
  isbn = {1-60132-151-1},
}