Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.

Leo Freitas Konstantinos Mokos Jim Woodcock

Published in: ICECCS (2007)

Keyphrases

software repositories
source code
source files
control system
database
databases
control strategy
data mining
artificial intelligence
information systems
software evolution