John Wordsworth
-
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming