
@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}
}
