The verified software repository: a step towards the verifying compiler.

Juan Bicarregui C. A. R. Hoare J. C. P. Woodcock

Published in: Formal Aspects Comput. (2006)

Keyphrases

software repositories
software systems
source code
software evolution
programming language
real world
web applications
post processing