Certifying model checkers (2001)

by K S Namjoshi
Venue:Proc of CAV ’01