Symbolic Analysis of Imperative Programming Languages (2009)

by B Burgstaller, B Scholz, J Blieberger
Venue:JMLC 2006. LNCS