Using Magnetic Disk instead of Main Memory in the Mur phi Verifier (1998)

by Ulrich Stern , David L. Dill
Citations:34 - 2 self