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