
@article {ar:BrunsMostowskiUlbrich2014,
	title = {Implementation-level Verification of Algorithms with {Ke{\k e}rn-.1emY}},
	journal = {Software Tools for Technology Transfer},
	year = {2014},
	note = {To appear.},
	publisher = {Springer},
	author = {D. Bruns and W. Mostowski and M. Ulbrich}
}
