Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Leo Freitas

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Freitas L, Woodcock J, Zhang Y

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2009

Volume: 74

Issue: 4

Pages: 197-218

ISSN (print): 1872-7964

ISSN (electronic): 0167-6423

Publisher: Elsevier BV

URL: http://dx.doi.org/10.1016/j.scico.2008.09.012

DOI: 10.1016/j.scico.2008.09.012


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share