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

Leo Freitas, Konstantinos Mokos, Jim Woodcock

Browse the full ICECCS paper archive.