The murϕ verification system. In: (1996)

by D L Dill
Venue:Proceedings of the 8th International Conference on Computer Aided Verification. pp. 390–393. CAV ’96,