A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.

Andrew Butterfield

Browse the full FM paper archive.