DMCA

Towards SMT model checking of array-based systems (2008)

by Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli
Citations:25 - 15 self