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]
@inproceedings{BaumlerNBR08,
title = {Compositional Proofs with Symbolic Execution},
author = {Simon Bäumler and Florian Nafz and Michael Balser and Wolfgang Reif},
year = {2008},
url = {http://ceur-ws.org/Vol-372/paper04.pdf},
tags = {composition},
researchr = {https://researchr.org/publication/BaumlerNBR08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008},
editor = {Bernhard Beckert and Gerwin Klein},
volume = {372},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}