A case study of C source code verification: the Schorr-Waite algorithm.

Thierry Hubert Claude Marché

Published in: SEFM (2005)

Keyphrases

source code
open source
software systems
software maintenance
manual inspection
open source software
dependency analysis