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}, }