Symbolic Analysis of Imperative Programming Languages (2006)

by Bernd Burgstaller , Bernhard Scholz , Johann Blieberger
Venue:In Proceedings of the 7th Joint Modular Languages Conference, Springer LNCS
Citations:1 - 1 self