POSIX file store in Z/Eves: An experiment in the verified software repository

Leo Freitas^*, James Woodcock, Zheng Fu

^*Corresponding author for this work

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

14 Citations (Scopus)

Original language	English
Journal	Science of Computer Programming
Volume	74
Issue	4
Pages (from-to)	238-257
Number of pages	20
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2008.08.001
Publication status	Published - 14 Aug 2008
Externally published	Yes

Access to Document

@article{15d8b1bbb2af4a68b71f62125c1001ad,

title = "POSIX file store in Z/Eves: An experiment in the verified software repository",

author = "Leo Freitas and James Woodcock and Zheng Fu",

year = "2008",

month = aug,

day = "14",

doi = "10.1016/j.scico.2008.08.001",

language = "English",

volume = "74",

pages = " 238--257",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - POSIX file store in Z/Eves: An experiment in the verified software repository

AU - Freitas, Leo

AU - Woodcock, James

AU - Fu, Zheng

PY - 2008/8/14

Y1 - 2008/8/14

U2 - 10.1016/j.scico.2008.08.001

DO - 10.1016/j.scico.2008.08.001

M3 - Journal article

SN - 0167-6423

VL - 74

SP - 238

EP - 257

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 4

ER -