Formalising Flash Memory: First Steps.

Andrew Butterfield, Jim Woodcock

Browse the full ICECCS paper archive.