Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif. Compositional Proofs with Symbolic Execution. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.