Mark Burgin, Narayan C. Debnath. Software Correctness. In David Jeff Jackson, editor, 21st International Conference on Computers and Their Applications, CATA-2006, Seattle, Washington, USA, March 23-25, 2006, Proceedings. pages 259-264, ISCA, 2006.
@inproceedings{BurginD06, title = {Software Correctness}, author = {Mark Burgin and Narayan C. Debnath}, year = {2006}, tags = {C++}, researchr = {https://researchr.org/publication/BurginD06}, cites = {0}, citedby = {0}, pages = {259-264}, booktitle = {21st International Conference on Computers and Their Applications, CATA-2006, Seattle, Washington, USA, March 23-25, 2006, Proceedings}, editor = {David Jeff Jackson}, publisher = {ISCA}, isbn = {1-880843-58-7}, }