DMCA

MCMT: A Model Checker Modulo Theories (2010)

by Silvio Ghilardi , Silvio Ranise
Venue:In Proc. of IJCAR 2010, LNCS
Citations:20 - 11 self