@conference {inp:SchebenSchmitt2014, title = {Efficient Self-Composition for Weakest Precondition Calculi}, booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)}, year = {2014}, author = {C. Scheben and P. H. Schmitt} }