Sciweavers

ICECCS
2007
IEEE

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

14 years 4 months ago
POSIX file store in Z/Eves: an experiment in the verified software repository
Leo Freitas, Zheng Fu, Jim Woodcock
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where ICECCS
Authors Leo Freitas, Zheng Fu, Jim Woodcock
Comments (0)