The Murϕ verification system (1996)

by David L Dill
Venue:In Computer Aided Verification. 8th International Conference