Certifying model checkers (2001)

by K S Namjoshi
Venue:In CAV