Bernd Burgstaller, Bernhard Scholz, Johann Blieberger. Symbolic Analysis of Imperative Programming Languages. In David E. Lightfoot, Clemens A. Szyperski, editors, Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings. Volume 4228 of Lecture Notes in Computer Science, pages 172-194, Springer, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.