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

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