Designing and Analyzing a Flash File System with Alloy. Kang, E. & Jackson, D. Int. J. Software and Informatics, 3(2-3):129-148, 2009.
Designing and Analyzing a Flash File System with Alloy [pdf]Paper  bibtex   

Downloads: 0