Symbolic Analysis of Imperative Programming Languages (2006)

by B Burgstaller, B Scholz, J Blieberger
Venue:In Proceedings of the 7th Joint Modular Languages Conference, Springer LNCS