Symbolic bounded conformance checking of model programs (2009)

by M Veanes, N Bjørner
Venue:Voronkov (Eds.), Perspectives of System Informatics (PSI’09), LNCS