Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository (2009)

First Author: Freitas L
Attributed to:  Systems Development: Domain-Specific Modelling funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Journal Article/Review

Parent Publication: Science of Computer Programming

Issue: 4