Formal Modeling and Analysis of a Flash Filesystem in Alloy
2020 ◽
pp. 305-314
2006 ◽
2010 ◽
pp. 400-402