Software Correctness.

Mark Burgin, Narayan C. Debnath

Browse the full CATA paper archive.