Abstracting and Verifying Flash Memories

by Sandip Ray , Jayanta Bhadra