Certifying model checkers (2001)

by K S Namjoshi
Venue:In CAV, volume 2102 of LNCS